ISBN 0520023560 books & textbook

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

University of California Press /1996-06-26 Paperback / 304 Pages
isbn-10: 0520023560 / isbn-13: 9780520023567