Introduction to mathematical logic

zbMATH Open1139.03001MaRDI QIDQ5422334FDOQ5422334

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

Publication date: 18 October 2007

Recommendations

• Frontiers of mathematics. A journey through the key areas of mathematical logic
• Introduction to mathematical logic
• scientific article; zbMATH DE number 193061
• Mathematical logic in brief. Foundations, model theory, decidability, set theory
• Mathematical logic

zbMATH Keywords

classical first-order logicsecond-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) Logic programming (68N17) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (10)

• Introduction to mathematical logic. A textbook
• Title not available (Why is that?)
• Formal metatheory of the lambda calculus using Stoughton's substitution
• Logic and structure.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the treewidth of dynamic graphs
• A concise introduction to mathematical logic
• Frontiers of mathematics. A journey through the key areas of mathematical logic
• Title not available (Why is that?)

This page was built for publication: Introduction to mathematical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5422334)