scientific article

zbMATH Open0784.03002MaRDI QIDQ4023926FDOQ4023926

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

Publication date: 23 January 1993

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

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 (9)

• Title not available (Why is that?)
• Learning power and language expressiveness.
• 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

Recommendations

• A concise introduction to mathematical logic 👍 👎
• Mathematical Logic 👍 👎
• A concise introduction to mathematical logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)