Lecture Notes in Logic 1 - Joseph R. Shoenfield (Taylor and Francis, 1993)