Crossley, John N. What is mathematical logic? A survey. (English) Zbl 1321.03001 van Benthem, Johan (ed.) et al., Proof, computation and agency. Logic at the crossroads. Dordrecht: Springer (ISBN 978-94-007-0920-1/set; 978-94-007-0079-6/hbk; 978-94-007-0080-2/ebook). Synthese Library 352, 3-17 (2011). Reviewer: Klaus D. Kiermeier (Berlin) MSC: 03-01 03-03 01A60 01A55 PDFBibTeX XMLCite \textit{J. N. Crossley}, Synth. Libr. 352, 3--17 (2011; Zbl 1321.03001) Full Text: DOI
Crossley, J. N.; Ash, C. J.; Brickhill, C. J.; Stillwell, J. C.; Williams, N. H. What is mathematical logic? Reprint of the 1972 original. (English) Zbl 1141.03300 New York, NY: Dover Publications (ISBN 0-486-26404-1). 82 p. (1990). MSC: 03-01 03-XX PDFBibTeX XMLCite \textit{J. N. Crossley} et al., What is mathematical logic?. Reprint of the 1972 original. New York, NY: Dover Publications (1990; Zbl 1141.03300)
Crossley, John N. Fifty years of computability. (English) Zbl 0712.03028 Southeast Asian Bull. Math. 11, No. 2, 81-99 (1988). MSC: 03Dxx 01A60 03-01 03-03 PDFBibTeX XMLCite \textit{J. N. Crossley}, Southeast Asian Bull. Math. 11, No. 2, 81--99 (1988; Zbl 0712.03028)
Crossley, J. N. Introduction to mathematical logic: A new area of mathematics with ancient roots. (English) Zbl 0336.02001 Math. Scientist 1, 3-13 (1976). MSC: 03-01 PDFBibTeX XML
Crossley, J. N.; Ash, C. J.; Brickhill, C. J.; Stillwell, J. C.; Williams, N. H. What is mathematical logic? (English) Zbl 0251.02001 London-Oxford-New York: Oxford University Press. IX, 82 p. £1.40 (1972). MSC: 03-01 03-XX PDFBibTeX XML