ISBN 0486446557 books & textbook

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)

Dover Publications /2006-02-24 Paperback / 128 Pages
isbn-10: 0486446557 / isbn-13: 9780486446554