Proof Theory
Subtitle: An Introduction (Lecture Notes in Mathematics)
Publisher: Springer
Published: January 1990
Language: eng
Number of pages: 213
ISBN-13: 9780387518428