Notes on logic and set theory. - Johnstone, P.T. (Cambridge Cambridge University Press, 1987)