scientific article; zbMATH DE number 108465

zbMATH Open0784.03002MaRDI QIDQ4023926FDOQ4023926

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

Publication date: 23 January 1993

Title of this publication is not available (Why is that?)

Recommendations

• A concise introduction to mathematical logic
• A concise introduction to mathematical logic
• Mathematical Logic
• scientific article
• 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 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)

Cited In (14)

• Title not available (Why is that?)
• Learning power and language expressiveness.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Gödel's completeness theorem
• Transition of consistency and satisfiability under language extensions
• The Gödel completeness theorem for uncountable languages
• Title not available (Why is that?)
• Graph Connectivity, Monadic NP and built-in relations of moderate degree
• Extending partial isomorphisms and McAlister's covering theorem
• Logic. The short method
• 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 Q4023926)