Book of Donmon Teith

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.

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

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or diffe

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