A Problem Course In Mathematical Logic by Stefan Bilaniuk