Przedmowa Rozdział 1. Elementy klasycznego rachunku zdań 1.1. Wprowadzenie 1.2. Język rachunku zdań; tautologie 1.3. Schematy wnioskowań. Wnioskowania niezawodne 1.4. Tautologie rachunku zdań 1.5. Warunek dostateczny i konieczny 1.6. Symbolika beznawiasowa Zadania Rozdział 2. Elementy rachunku predykatów 2.1. Wprowadzenie 2.2. Język rachunku predykatów 2.3. Formułowanie wypowiedzi w języku rachunku predykatów 2.4. Przykłady tautologii rachunku predykatów 2.5. Kwantyfikatory o ograniczonym zakresie 2.6. Kwantyfikatory ilościowe Zadania Rozdział 3. Podstawy teorii zbiorów 3.1. Uwagi wstępne 3.2. Zasada ekstensjonalności 3.3. Relacja inkluzji. Zbiór pusty i zbiór potęgowy 3.4. Działania na zbiorach 3.5. Algebry Boole'a Zadania Rozdział 4. Relacje 4.1. Wprowadzenie. Definicja relacji 4.2. Relacje binarne i ich własności. Działania na relacjach binarnych 4.3. Relacje równoważności 4.4. Zastosowania zasady abstrakcji Zadania Rozdział 5. Funkcje 5.1. Uwagi wstępne 5.2. Definicja funkcji. Rodzaje funkcji 5.3. Operacje na funkcjach 5.4. Obrazy i przeciwobrazy oraz ich własności Zadania Rozdział 6. Relacje porządkujące 6.1. Typy relacji porządkujących 6.2. Zbiory częściowo uporządkowane 6.3. Zbiory dobrze uporządkowane Zadania Rozdział 7. Teoria mocy 7.1. Wprowadzenie 7.2. Liczby kardynalne. Twierdzenie Cantora-Bernsteina 7.3. Zbiory przeliczalne 7.4. Zbiory nieprzeliczalne 7.5. Arytmetyka liczb kardynalnych Zadania Rozdział 8. Typy i liczby porządkowe 8.1. Typy porządkowe 8.2. Liczby porządkowe Rozdział 9. Działania uogólnione Zadania Rozdział 10. System aksjomatyczny teorii mnogości Dodatek: Uwagi historyczne Literatura Skorowidz symboli Skorowidz terminów Skorowidz nazwisk źródło opisu: http://www.poczytaj.pl/index.php?akcja=spis_tresci&ksiazka=23480 źródło okładki: http://www.logika.amu.edu.pl/ksiazki/murawski/tmn.php