• CM10020: Computation II: Computability and Decidability. The course book is Computability and Logic, by G. Boolos, J. Burgess, and R. Jeffrey, published by Cambridge University Press.
• CM30071: Logic and Its Applications. Here are solutions for some of the exercises in the course book, Logic in Computer Science, by M. Huth and M. Ryan, published by Cambridge University Press.

  Other references used in the course:

  • Hodges, W., Logic, Penguin;
  • van Dalen, D., Logic and Structure, Springer;
  • Lambek, J. and P. Scott, Introduction to Higher-Order Categorical Logic, Cambridge University Press;
  • Girard, J.-Y., Y. Lafont and P. Taylor, Proofs and Types, Cambridge University Press.

I am not teaching at present.