thraxil.org:

Introduction to Mathematical Logic by anders pearsonMon 15 Jul 2002
the panda's thumb by anders pearsonFri 26 Mar 2004