Basic Proof Theory
Cambridge Tracts in Theoretical Computer Science
|
Heftet
I salg
Leveringstid: 7-30 dager
Handlinger
Beskrivelse
Omtale
This is an introduction to the basic ideas of structural proof theory. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.
Detaljer
-
Utgivelsesdato:
27.07.2000
-
ISBN:
9780521779111
-
Språk:
, Engelsk
-
Forlag:
Cambridge University Press -
Fagtema:
-
Serie:
Cambridge Tracts in Theoretical Computer Science
-
Litteraturtype:
-
Utgave:
2 Revised edition
-
Sider:
432
-
Høyde:
22.9 cm
-
Bredde:
15.3 cm