TY - BOOK AU - BARWISE J. AU - KAPLAN D. TI - STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS SN - 978-0-4448-7508-2 AV - QA 95.B37 1984 PY - 1984/// CY - NETHERLANDS PB - ELSEVIER PUBLISHERS ER -