Gå direkt till innehållet
Proof Theory
Spara

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.
Undertitel
An Introduction
Författare
Wolfram Pohlers
Upplaga
1st ed. 1989. 3rd printing
ISBN
9783540518426
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1989-10-25
Sidor
220