Daftar Isi: Bab 1: Pendahuluan Bab 2: Kalimat deklaratif Bab 3: Tautologi dan prinsip-prinsip pembuktian Bab 4. Kuantor Bab 5: Himpunan Bab 6: Relasi Bab 8: Fungsi Bab 7: Fungsi Bab 8: Himpunan terhitung dan himpunan tak terhitung Bab 9: Aritmatika bilangan kardinal