scientific article; zbMATH DE number 3339349
From MaRDI portal
Publication:5616117
zbMath0214.00601MaRDI QIDQ5616117
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) 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 (7)
Henkin’s Theorem in Textbooks ⋮ A Structure Theorem for Free Temporal Algebras ⋮ Assertion, inference, and consequence ⋮ Conditionals, quantification, and strong mathematical induction ⋮ A key to fuzzy-logic inference ⋮ A semantic theory of sortal incorrectness ⋮ Deduction Graphs with Universal Quantification
This page was built for publication: