Proof Theory
Series: Studies in Logic and the Foundations of Mathematics
Publisher: North-Holland Publishing Company
Published: Apr 02, 1975
Language: eng
Number of pages: 372
ISBN-13: 9780720422771