Sell, buy or rent J.E. Kister textbooks

Bibliography of Mathematical Logic: Proof Theory Constructive Mathematics

by J.E. Kister, Dirk van Dalen
ISBN-13: 9780387155241
ISBN-10: 0387155244
Publication date: 1987
Publisher: Springer-Verlag
Format: Hardcover 405 pages