scientific article; zbMATH DE number 2231185

MaRDI QIDQ5706740zbMATH OpenFDO

Authors D. C. Goldrei

Publication date 21 November 2005

zbMATH Keywords

completeness theoremformal languageformal proof systempredicate calculuspropositional calculus

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1317033
• A concise introduction to mathematical logic
• scientific article; zbMATH DE number 44082
• scientific article; zbMATH DE number 1521608
• scientific article; zbMATH DE number 4027415

Cited in

(7)

• Prime simplicity
• Introduction to mathematical logic and resolution principle
• scientific article; zbMATH DE number 432735 (Why is no real title available?)
• scientific article; zbMATH DE number 44082 (Why is no real title available?)
• scientific article; zbMATH DE number 1317033 (Why is no real title available?)
• Abstract interpretation of database query languages
• Are trapped surfaces visible?

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