A Beginner's Guide to Mathematical Logic

DOI10.1080/00029890.2018.1401883MaRDI QIDQ4577003zbMATH OpenOpenAlexFDO

Authors Robert Cowen

Publication date 11 July 2018

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00029890.2018.1401883

Mathematics Subject Classification ID

External book reviews (00A17) Classical propositional logic (03B05) Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40) Recursively (computably) enumerable sets and degrees (03D25) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Turing machines and related notions (03D10)

Cites work

• scientific article; zbMATH DE number 3672245 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• Introduction to mathematical logic
• The universal computer. The road from Leibniz to Turing.
• The {G}ödelian puzzle book. Puzzles, paradoxes and proofs
• Theory of Formal Systems. (AM-47)

This page was built for publication: A Beginner's Guide to Mathematical Logic

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