A Beginner's Further Guide to Mathematical Logic

From MaRDI portal

Revision as of 22:01, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3181122

Jump to:navigation, search

DOI10.1142/9865zbMath1370.03002OpenAlexW2478443203MaRDI 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

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)

Related Items (4)

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 ⋮ Higher-Order Multi-Valued Resolution

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3181122&oldid=16352162"