A Beginner's Guide to Mathematical Logic

DOI10.1080/00029890.2018.1401883zbMath1392.00020OpenAlexW2786956582MaRDI QIDQ4577003

Robert H. 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

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

Cites Work

• Theory of Formal Systems. (AM-47)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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