scientific article; zbMATH DE number 50432

MaRDI QIDQ4000090zbMATH OpenFDO

Authors Gabriele Lolli

Publication date 18 September 1992

zbMATH Keywords

resolutioncompletenessnatural deductionPeano arithmeticlambda calculusundecidabilityHoare logicpredicate logicsemantic tableauxpropositional logiclogic programming

Mathematics Subject Classification ID

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

Recommendations

• An introduction to formal logic
• scientific article; zbMATH DE number 1278449
• Logic and reasoning
• scientific article; zbMATH DE number 46338

Cited in

(12)

• An introduction to formal logic
• scientific article; zbMATH DE number 7241862 (Why is no real title available?)
• scientific article; zbMATH DE number 3171967 (Why is no real title available?)
• scientific article; zbMATH DE number 4121954 (Why is no real title available?)
• scientific article; zbMATH DE number 2239771 (Why is no real title available?)
• scientific article; zbMATH DE number 1615755 (Why is no real title available?)
• scientific article; zbMATH DE number 3074845 (Why is no real title available?)
• Logic and reasoning
• scientific article; zbMATH DE number 1269493 (Why is no real title available?)
• scientific article; zbMATH DE number 790192 (Why is no real title available?)
• scientific article; zbMATH DE number 410526 (Why is no real title available?)
• Introduction to formal logics. (Introduzione alla logica formale)

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