Notes on logic and set theory - Johnstone P T (Cambridge CUP, 1987)
Keywords: Mathematical logic; Set theory; Symbolic logic