scientific article; zbMATH DE number 977290

MaRDI QIDQ4331830zbMATH OpenFDO

Authors John J. Kelly

Publication date 11 February 1997

zbMATH Keywords

natural deductionpredicate logicpropositional logicresolutionsemantic tableauxtruth tables

Mathematics Subject Classification ID

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

Cited in

(10)

• The logic of essence
• The logic of Pit
• Logic as a tool. A concise guide to logical reasoning
• Introduction to mathematical logic and resolution principle
• scientific article; zbMATH DE number 108022 (Why is no real title available?)
• scientific article; zbMATH DE number 1273299 (Why is no real title available?)
• scientific article; zbMATH DE number 1005108 (Why is no real title available?)
• scientific article; zbMATH DE number 1391241 (Why is no real title available?)
• Logic—The Big Picture
• THE PURE LOGIC OF GROUND

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 Q4331830)