scientific article; zbMATH DE number 108465

MaRDI QIDQ4023926zbMATHFDO

Authors Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas

Publication date 23 January 1993

zbMATH Keywords

semanticssyntaxsecond-order logicelementary equivalenceclassical predicate logicfirst-order predicate logic with equalitylogical foundations of logic programminglogics with infinitary languages

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic programming (68N17) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• A concise introduction to mathematical logic
• A concise introduction to mathematical logic
• Mathematical Logic
• scientific article; zbMATH DE number 46338
• scientific article; zbMATH DE number 777408
• Introduction to mathematical logic
• Mathematical logic. With a preface by A. Szerzo.
• scientific article; zbMATH DE number 1521608
• scientific article; zbMATH DE number 193626

Cited in

(14)

• Extending partial isomorphisms and McAlister's covering theorem
• scientific article; zbMATH DE number 3296220 (Why is no real title available?)
• scientific article; zbMATH DE number 107814 (Why is no real title available?)
• Learning power and language expressiveness.
• Introduction to formal logics. (Introduzione alla logica formale)
• Logic. The short method
• scientific article; zbMATH DE number 3170717 (Why is no real title available?)
• scientific article; zbMATH DE number 3030935 (Why is no real title available?)
• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• Transition of consistency and satisfiability under language extensions
• Gödel's completeness theorem
• Graph connectivity, monadic NP and built-in relations of moderate degree
• scientific article; zbMATH DE number 3873290 (Why is no real title available?)
• The Gödel completeness theorem for uncountable languages

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