Elementary categories,elementary toposes - Mclarty Colin (Calcutta Clarendon Press, 1995)
Keywords: Mathematical logic; Toposes