Twelve lectures in Easter term. M W F 10:00 MR 5

There are two reasons for this course to be proposed. One is the lecturer's long-standing intention to write a textbook on this subject; however the

Philipp Kleppmann's Part III essay on Laver's proof of the Fraissé conjecture and

Zach Norwood's Part III essay on Laver's proof of the Fraissé conjecture linked here with the authors' kind permission.

Materials for 1b Computer Science.

Materials for 1a Computer Science .

Materials for Part III Mathematics .

Materials for Logic-For-Linguists.

Materials for Part II Mathematics .

Materials for the Computer Science M. Phil .