Proof Theory
Subtitle: Second Edition
Publisher: Dover Publications, Incorporated
Published: 2013
Language: eng
ISBN-13: 9780486320670