NOTES ON LOGIC AND SET THEORY - Johnstone, P. T. (Cambeidge Cambeidge University Press, 1987)