scientific article; zbMATH DE number 824081

MaRDI QIDQ4857787zbMATH OpenFDO

Authors Uwe Schöning

Publication date 7 December 1995

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Classical propositional logic (03B05) Logic programming (68N17) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• scientific article; zbMATH DE number 54163
• Introduction to mathematical logic
• scientific article; zbMATH DE number 43826
• scientific article; zbMATH DE number 49445
• Introduction to mathematical logic. A textbook

Cited in

(8)

• scientific article; zbMATH DE number 54163 (Why is no real title available?)
• scientific article; zbMATH DE number 107924 (Why is no real title available?)
• scientific article; zbMATH DE number 777408 (Why is no real title available?)
• Logics for Computer Science
• scientific article; zbMATH DE number 43826 (Why is no real title available?)
• scientific article; zbMATH DE number 789391 (Why is no real title available?)
• scientific article; zbMATH DE number 4114620 (Why is no real title available?)
• Languages of logic and their applications

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