Elementy logiki i teorii mnogości dla informatyków - Matuszewska, Halina; Matuszewski, Wojciech (Warszawa : "BEL Studio", 2003)
Keywords: Logika matematyczna; Teoria mnogości