Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23 - Paul C. Gilmore (Taylor and Francis, 2005)