scientific article; zbMATH DE number 977290

zbMATH Open0872.03001MaRDI QIDQ4331830FDOQ4331830

John J. Kelly

Publication date: 11 February 1997

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

zbMATH Keywords

resolutionnatural deductionpredicate logicsemantic tableauxpropositional logictruth tables

Mathematics Subject Classification ID

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

Cited In (6)

• Title not available (Why is that?)
• The logic of Pit
• Logic—The Big Picture
• THE PURE LOGIC OF GROUND
• The logic of essence
• Title not available (Why is that?)

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)