This textbook is a mathematical introduction to first-order logic for senior undergraduate and graduate students. Cori and Lascar (UniversitT Paris) include material on the interpolation lemma, the
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture. Held in the same hall at La