A Beginner's Further Guide to Mathematical Logic
From MaRDI portal
Publication:3181122
DOI10.1142/9865zbMath1370.03002MaRDI QIDQ3181122
Publication date: 22 December 2016
Full work available at URL: https://doi.org/10.1142/9865
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