scientific article; zbMATH DE number 7005093

zbMath1404.03001MaRDI QIDQ4610460

Raymond M. Smullyan

Publication date: 22 January 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items

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