A first course in mathematical logic and set theory

zbMATH Open1331.03001MaRDI QIDQ2949554FDOQ2949554

Authors: Michael L. O'Leary 

Publication date: 1 October 2015

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

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)

Cited In (10)

• Title not available (Why is that?)
• The mathematics of logic. A guide to completeness theorems and their applications
• Logic, mathematics, and computer science. Modern foundations with practical applications
• Mizar Course in Logic and Set Theory
• Title not available (Why is that?)
• Set theory and foundations of mathematics. An introduction to mathematical logic. Volume I. Set theory
• Sets, models and proofs
• Set theory and mathematical logic. From infinite mathematics to Gödel's theorems
• Title not available (Why is that?)
• A course on mathematical logic

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)