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.