"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)
Descriptive Set Theory