scientific article; zbMATH DE number 5201824

zbMath1139.03001MaRDI QIDQ5422334

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

Publication date: 18 October 2007

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

second-order logicclassical first-order logicelementary equivalencelogical foundations of logic programminglogics with infinitary languagesLindström's theoremslogic with identitysyntactic interpretationssyntax and semantics of classical logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Logic programming (68N17)

Related Items (2)

Formal metatheory of the lambda calculus using Stoughton's substitution ⋮ On the treewidth of dynamic graphs

This page was built for publication: