Książka jest adresowana do studentów matematyki, informatyki, fizyki i kierunków pokrewnych. Prezentowane są w niej niezbędne wiadomości z logiki matematycznej oraz podstawowe pojęcia i twierdzenia teorii mnogości: aksjomaty teorii mnogości, algebra zbiorów, relacje i funkcje, teoria równoliczności, porządki. Precyzja, zwięzłość i klarowność to cechy tego wykładu opartego na systemie aksjomatów Zermelo - Fraenkla z dołączonym aksjomatem wyboru (ZFC).
 
Spis treści: 
 
Wstęp 

CZĘŚĆ I: ELEMENTY LOGIKI 
I.1. Zdania i funktory 
I.2. Tautologie rachunku zadań 

CZĘŚĆ II: ZBIORY 
II.1. Pojęcia pierwotne i formuły teorii mnogości 
II.2. Kwantyfikatory i ich zastosowanie 
II.3. Aksjomaty teorii zbiorów 
II.4. Algebra zbiorów 

CZĘŚĆ III: RELACJE I FUNKCJE 
III.1. Relacje dwuargumentowe. Relacje równoważności 
III.2. Funkcje. Działania uogólnione 
III.3. Obrazy i przeciwobrazy funkcji 

CZĘŚĆ IV: MOC ZBIORU 
IV.1. Liczby naturalne. Zasada indukcji 
IV.2. Równoliczność. Twierdzenie Cantora-Bernsteina 
IV.3. Przeliczalność. Twierdzenie Cantora. Hipoteza continuum 

CZĘŚĆ V: PORZADKI 
V.1. Porządek częściowy. Porządek całkowity (liniowy) 
V.2. Dobry porządek. Twierdzenie Zermelo 
V.3. Lemat Kuratowskiego-Zorna 
Georg Cantor (1845-1918), życie i twórczość 

Zakończenie 

Literatura 

Skorowidz