Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science - Troelstra, A. S. (Universiteit van Amsterdam) - Bøker - Cambridge University Press - 9780521779111 - 27. juli 2000
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Troelstra, A. S. (Universiteit van Amsterdam)
Basic Proof Theory - Cambridge Tracts in Theoretical Computer Science 2 Revised edition

Pris
NOK 599

Bestillingsvarer

Forventes levert 2. - 9. nov
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Troelstra, A. S. (Universiteit van Amsterdam)

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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.

432 pages, 3 b/w illus. 201 exercises

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 27. juli 2000
ISBN13 9780521779111
Utgivere Cambridge University Press
Antall sider 432
Mål 153 × 229 × 26 mm   ·   642 g
Språk Engelsk  
Serieredaktør Abramsky, S.
Serieredaktør Aczel, P. H.
Serieredaktør Bakker, J. W. de
Serieredaktør Gurevich, Y.
Serieredaktør Tucker, J. V.
Serieredaktør Van Rijsbergen, C. J.

Mer fra samme **utgiver**

Se alt med Troelstra, A. S. (Universiteit van Amsterdam)