Natasha Alechina teaches a course on descriptive complexity and includes a brief introduction to the subject, lecture topics, and a recommended textbook.

Resource maintained by Professor Gradel at Aschen University of Technology contains a list of open problems, a mailing list, bibliography, and a list of related events.

Authors William Weiss and Cherie D'Mello offer this free download of their book "Fundamentals of Model Theory" in multiple format.

European Training and Mobility for Researchers network offers info on its research activity of developing the theory and the applications of Linear Logic.

Learn about this distributed research group at the University of Edinburgh that consists of informaticists interested in theorem proving, program synthesis, and AI.

Read an introductory essay covering Model Theory, Skolem's Paradox, and Ramsey's Theorem. With additional articles on what is logic and Descriptive Set Theory.

Contains a list of text books and provides links to articles, preprints, and surveys on Model Theory.

Solomon Feferman presents answers given by workers in proof theory on his questions regarding the present state and future of proof theory. View answers by author name.