Siirry suoraan sisältöön
Proof Theory
Tallenna

Proof Theory

Although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. The author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.
Alaotsikko
An Introduction
Kirjailija
Wolfram Pohlers
Painos
1st ed. 1989. 3rd printing
ISBN
9783540518426
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
25.10.1989
Sivumäärä
220