Mathematical Logic

DOI10.1007/978-3-030-73839-6MaRDI QIDQ4992250zbMATH OpenOpenAlexFDO

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

Publication date 8 June 2021

Published in Graduate Texts in Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-73839-6

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) General logic (03B99) Basic properties of first-order languages and structures (03C07)

Recommendations

• Mathematical logic
• Introduction to mathematical logic
• scientific article; zbMATH DE number 5306054
• Introduction to mathematical logic
• The mathematics of logic. A guide to completeness theorems and their applications

Cited in

(17)

• Decidability of logical theories and their combination
• On the width of regular classes of finite structures
• Complexity in Young's lattice
• Mathematical logic.
• Well-structured mathematical logic
• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• scientific article; zbMATH DE number 3115104 (Why is no real title available?)
• Mathematical Logic: Mathematics of Logic or Logic of Mathematics
• scientific article; zbMATH DE number 5306054 (Why is no real title available?)
• scientific article; zbMATH DE number 3181175 (Why is no real title available?)
• scientific article; zbMATH DE number 108465 (Why is no real title available?)
• Mathematische Logik
• Modern Mathematical Logic
• Mathematical Logic and Computation
• Some frustrating questions on dimensions of products of posets
• SCC-recursiveness in infinite argumentation
• Universal truth of operator statements via ideal membership

This page was built for publication: Mathematical Logic

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