Publication:4610460

zbMath1404.03001MaRDI QIDQ4610460

Raymond M. Smullyan

Publication date: 22 January 2019

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

Related Items

Rasiowa-Sikorski deduction systems with the rule of cut: a case study