scientific article; zbMATH DE number 872502

zbMATH Open0858.03002MaRDI QIDQ4875400FDOQ4875400

John Etchemendy, Jon Barwise

Publication date: 1 May 1996

Title of this publication is not available (Why is that?)

Recommendations

• Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM
• scientific article; zbMATH DE number 992300
• A first course in logic
• scientific article; zbMATH DE number 789391

zbMATH Keywords

first-order logicinductionpropositional logicfirst-order set theoryTarski's World

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (11)

• A plea for logical objects
• Semantics for existential graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• The semiotics of spider diagrams
• Visual Mathematics: Diagrammatic Formalization and Proof
• Exhibiting interpretational and representational validity
• Counter-example construction with Euler diagrams
• HYPERSOLVER: A graphical tool for commonsense set theory
• Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction
• A brief proof of the full completeness of Shin's Venn diagram proof system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4875400)