This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a substantial cours

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions o

Here is an introduction to modern logic that differs from others by treating logic from an algebraic perspective. What this means is that notions and results fr

Mathematical Logic and Model Theory: A Brief Introduction offers a streamlined yet easy-to-read introduction to mathematical logic and basic model theory. It pr

Beginning with an introduction to the concepts of algebraic logic, this concise volume features ten articles by a prominent mathematician that originally appear