A Problem Course
in
Mathematical Logic
... is a freeware mathematics text by Stefan Bilaniuk.
The home page for the text has moved to:
http://euclid.trentu.ca/math/sb/pcml/
Stefan Bilaniuk's Home Page
Department of Mathematics
Trent University
Maintained by Stefan Bilaniuk. Last updated 2001.03.07.