Proof theory : an introduction / Wolfram Pohlers

Auteur principal : Pohlers, Wolfram, AuteurType de document : Livre numériqueCollection : Lecture notes in mathematics, 1407Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1989ISBN: 9783540518426.ISSN: 1617-9692.Sujet MSC : 03F05, Proof theory and constructive mathematics, Cut-elimination and normal-form theorems
03F15, Proof theory and constructive mathematics, Recursive ordinals and ordinal notations
03-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundationsEn-ligne : Springerlink | Zentralblatt | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

There are no comments on this title.

to post a comment.