Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books

This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famo

Descriptive set theory and definable proper forcing are two areas of set theory that developed quite independently of each other. This monograph unites them and

This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.