scientific article; zbMATH DE number 2018391

zbMath1040.03001MaRDI QIDQ4440307

Warren D. Goldfarb

Publication date: 16 December 2003

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

zbMATH Keywords

textbookfirst-order logicdeductive logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items

MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, Conditionals are material: the positive arguments, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, EXISTENTIAL-IMPORT MATHEMATICS, Schemata: The Concept of Schema in the History of Logic