Proof Theory
Subtitle: The First Step into Impredicativity
By: by Wolfram Pohlers
Contributors: SpringerLink (Online service)
Series: Universitext
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540693185; 9783540693192
Subjects: Symbolic and mathematical Logic