Lecture Notes in Logic

373 pages 2010

challenging informative slow-paced