Bibliography of Mathematical Logic
Subtitle: Proof Theory Constructive Mathematics
Publisher: Springer-Verlag
Published: July 1987
Format: Hardcover
ISBN-13: 9780387155241
Subjects: Mathematical And Symbolic Logic; Science/Mathematics