PMATH 432 - First Order Logic and Computability

Barbara Csima

Winter 2014

Mathematical Logic, Second Edition by H.-D. Ebbinghaus, J. Flum, and W. Thomas