Book review of: R. Smullyan, A beginner's further guide to mathematical logic

DOI10.1007/S11225-019-09872-3zbMath1436.00030OpenAlexW2965204445MaRDI QIDQ2009772

Morten Heine B. Sørensen

Publication date: 29 November 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09872-3

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)

This page was built for publication: Book review of: R. Smullyan, A beginner's further guide to mathematical logic