Notes on the art of logic (2005)
 

Notes on the science of logic (2002)
   Part I
   Part II
   Exercise Sheet