A beginner's guide to mathematical logic

MaRDI QIDQ2964182zbMATH OpenFDO

Authors Raymond M. Smullyan

Publication date 23 February 2017

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• A beginner's guide to mathematical logic
• A beginner's further guide to mathematical logic
• Mathematical logic
• scientific article; zbMATH DE number 2232435
• Introduction to mathematical logic

Cited in

(6)

• Mathematical logic. Exercises and solutions
• A beginner's further guide to mathematical logic
• Games for Your Mind
• A beginner's guide to mathematical logic
• Logical labyrinths
• Foundations of logic. Completeness, incompleteness, computability

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 Q2964182)