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

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

This self-contained text covers sets and numbers, elements of set theory, real numbers, the theory of groups, group isomorphism and homomorphism, theory of ring

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