A Beginner's Further Guide to Mathematical Logic

DOI10.1142/9865zbMath1370.03002MaRDI QIDQ3181122

Raymond M. Smullyan

Publication date: 22 December 2016

Full work available at URL: https://doi.org/10.1142/9865

zbMATH Keywords

first-order logic; propositional logic; recursion theory; combinatory logic

Mathematics Subject Classification ID

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03B10: Classical first-order logic

03B05: Classical propositional logic

03D20: Recursive functions and relations, subrecursive hierarchies

03D25: Recursively (computably) enumerable sets and degrees

03D10: Turing machines and related notions

03B40: Combinatory logic and lambda calculus

Related Items

Higher-Order Multi-Valued Resolution, A framework for using knowledge in tableau proofs, The tableau-based theorem prover 3 T A P Version 4.0, Grammar specification in categorial logics and theorem proving