scientific article; zbMATH DE number 1467283

MaRDI QIDQ4486740zbMATH OpenFDO

Authors Christopher C. Leary

Publication date 28 June 2000

zbMATH Keywords

compactnesscompletenessincompletenesspropositional logicpredicate calculusMathematical Logic

Mathematics Subject Classification ID

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

Recommendations

• A concise introduction to mathematical logic
• A mathematical introduction to logic.
• scientific article; zbMATH DE number 193061
• scientific article; zbMATH DE number 1968950
• scientific article; zbMATH DE number 44082

Cited in

(6)

• scientific article; zbMATH DE number 1168117 (Why is no real title available?)
• scientific article; zbMATH DE number 5917718 (Why is no real title available?)
• Mathematical logic and its applications
• Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program
• A concise introduction to mathematical logic
• scientific article; zbMATH DE number 2150901 (Why is no real title available?)

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