It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

"The graduate program in mathematical logic at the University of Illinois at Urbana-Champaign is one of the most active such programs in the world, with a large community of faculty and students. Most aspects of the subject are represented here, especially model theory and its applications and descriptive set theory. A particular emphasis of our program is on the connections of logic to other important areas of mathematics." from Logic, Department of Mathematics, University of Illinois at Urbana-Champaign

Books on logic can be found in the Mathemathics Library Stacks on the main level shelved under call number 511.3 to 511.4.

The discipline of __Mathematical Logic__ is a rather historical umbrella encompassing the fields of __Model Theory__, __Set Theory__, __Descriptive Set Theory__, __Computability Theory__ (also known as Recursion Theory), __Proof Theory__, and __Universal Algebra__. The research of the logic group at Illinois focuses on __Model Theory__ (__Lou van den Dries__, __Philipp Hieronymi__) and __Descriptive Set Theory__ (Anush Tserunyan).

**Mathematical Logic** (basic Model Theory and Computability Theory)

- L. van den Dries, "Mathematical Logic", lecture notes
- A. Tserunyan, "Mathematical Logic", lecture notes and First Order Logic and Gödel Incompleteness problem set

**Model Theory**

**Descriptive Set Theory**

- A. Kechris, "Classical Descriptive Set Theory"
- A. Tserunyan, "Introduction to Descriptive Set Theory", lecture notes and Descriptive Set Theory problem set

**Set Theory**

- J.-L. Krivine, Théorie des ensembles (French) 2ème édition (2007)
- K. Kunen, Set Theory (2011)
- A. Tserunyan, "Basic Set Theory", introductory lecture notes for undergraduates

**Computability Theory**