scientific article; zbMATH DE number 872502
From MaRDI portal
Publication:4875400
zbMath0858.03002MaRDI QIDQ4875400
Publication date: 1 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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 (9)
A plea for logical objects ⋮ HYPERSOLVER: A graphical tool for commonsense set theory ⋮ The semiotics of spider diagrams ⋮ Exhibiting interpretational and representational validity ⋮ Counter-example construction with Euler diagrams ⋮ A brief proof of the full completeness of Shin's Venn diagram proof system ⋮ Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction ⋮ Semantics for existential graphs ⋮ Visual Mathematics: Diagrammatic Formalization and Proof
This page was built for publication:
