Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American symposium on Mathematical Logic,...
From a Logical Point of View: Nine Logico-Philosophical Essays, Second Revised Edition 200 pages |...
From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931 (Source Books in History...
Introduction to Mathematical Logic, Volume 1. Princeton Mathematical Series (Pt.1) 378 pages | English |...
Mathematical interpretation of formal systems (Studies in logic and the foundations of mathematics) 113 pages...