Proof Theory
Subtitle: An Introduction (Lecture Notes in Mathematics)
Edition: 1st ed. 1989. 3rd printing edition
Publisher: Springer
Published: May 2, 2002
Language: eng
Format: Paperback
Number of pages: 213
ISBN-13: 9783540518426
Subjects: Logic; Mathematics / Logic; Proof theory; Mathematics