A first course in mathematical logic and set theory

MaRDI QIDQ2949554zbMATHFDO

Authors Michael L. O'Leary

Publication date 1 October 2015

zbMATH Keywords

model theoryset theorymathematical logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Model theory (03Cxx) Set theory (03Exx) General logic (03Bxx)

Recommendations

• Sets, models and proofs
• scientific article; zbMATH DE number 641289
• scientific article; zbMATH DE number 1278449
• Mathematical logic. On numbers, sets, structures, and symmetry
• A first journey through logic

Cited in

(11)

• Mathematical logic. On numbers, sets, structures, and symmetry
• Set theory and foundations of mathematics. An introduction to mathematical logic. Volume I. Set theory
• Mizar Course in Logic and Set Theory
• scientific article; zbMATH DE number 2134000 (Why is no real title available?)
• Set theory and mathematical logic. From infinite mathematics to Gödel's theorems
• scientific article; zbMATH DE number 4037803 (Why is no real title available?)
• Logic, mathematics, and computer science. Modern foundations with practical applications
• A course on mathematical logic
• Sets, models and proofs
• scientific article; zbMATH DE number 4095421 (Why is no real title available?)
• The mathematics of logic. A guide to completeness theorems and their applications

This page was built for publication: A first course in mathematical logic and set theory

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