Book review of: Craig Smoryński, Adventures in formalism

DOI10.1007/S00283-013-9434-0MaRDI QIDQ2249493zbMATHOpenAlexFDO

Authors Roman Kossak

Publication date 2 July 2014

Published in The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00283-013-9434-0

Mathematics Subject Classification ID

External book reviews (00A17) Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01) Philosophy of mathematics (00A30) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02)

Recommendations

• Adventures in formalism
• scientific article; zbMATH DE number 6840815
• Book review of: R. Smullyan, A beginner's further guide to mathematical logic
• scientific article; zbMATH DE number 6696789
• Book review of: Alex Oliver and Timothy Smiley, Plural logic
• Book review of: A. Oliver and T. Smiley, Plural logic
• Carl J. Posy.  Mathematical Intuitionism
• John P. Burgess.Rigor and Structure. Oxford: Oxford University Press, 2015. ISBN: 978-0-19-872222-9 (hbk); 978-0-19-103360-5 (e-book). Pp. xii + 215
• Book review of: J. P. Burgess, Rigor and structure
• The Story of Proof, by J. Stillwell

This page was built for publication: Book review of: Craig Smoryński, Adventures in formalism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2249493)