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