This textbook provides a concise and self-contained introduction to mathematical logic, with a focus on the fundamental topics in first-order logic and model th

Second of two volumes providing a comprehensive guide to the current state of mathematical logic.

In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introducti

Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a

This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is acces