Notes on logic and set theory
Johnstone, Peter T.
Cambridge : Cambridge University Press,
1987.
Logic, Symbolic and mathematical.