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