Tech@Addebook

Proof Theory: The First Step into Impredicativity (Universitext)

Proof Theory: The First Step into Impredicativity (Universitext)
By Wolfram Pohlers

Publisher: Springer
Number Of Pages: 384
Publication Date: 2008-10-01
ISBN-10 / ASIN: 3540693181
ISBN-13 / EAN: 9783540693185
Binding: Paperback

This book verifies with…

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

Proof-Theoretical Coherence (Studies in Logic (Logic & Cognitive Systems))

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC’97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science)

Proof Theory: An Introduction (Lecture Notes in Mathematics)