scientific article
From MaRDI portal
Publication:4023926
zbMath0784.03002MaRDI QIDQ4023926
Jörg Flum, Heinz-Dieter Ebbinghaus, Wolfgang Thomas
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticssecond-order logicelementary equivalencesyntaxclassical predicate logicfirst-order predicate logic with equalitylogical foundations of logic programminglogics with infinitary languages
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Logic programming (68N17)
Related Items
Learning power and language expressiveness., Graph Connectivity, Monadic NP and built-in relations of moderate degree, Transition of Consistency and Satisfiability under Language Extensions, The Gödel Completeness Theorem for Uncountable Languages, Gödel's completeness theorem, Extending partial isomorphisms and McAlister's covering theorem
