scientific article; zbMATH DE number 728180

zbMath0821.03001MaRDI QIDQ4324743

Roger L. Simpson

Publication date: 28 February 1995

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

zbMATH Keywords

sentential logicpropositional logicsymbolspredicate 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)

Related Items

Lebesgue Convergence Theorems and Reverse Mathematics, Derived sequences and reverse mathematics, Non‐standard Analysis in WKL₀, Reverse Mathematics and Recursive Graph Theory