Johnstone, P. T. Notes on logic and set theory - Cambridge Cambridge University Press 1987 - x, 110p. ISBN: 0-521-33692-9