Buku ajar ini disusun berdasarkan rumusan CPL Capaian Pembelajaran Lulusan Program Studi Pendidikan Matematika dan rumusan Capaian Pembelajaran Mata Kuliah yang telah tertuang dalam RPS Rencana Pembelajaran Semester Buku ajar ini terdiri atas dua topik utama yaitu Teori Himpunan dan Logika Matematika yang terbagi dalam 9 bab yaitu bab 1 pengantar teori himpunan bab 2 aljabar himpunan bab 3 simbolisasi bahasa sehari hari dalam notasi himpunan bab 4 pengantar logika bab 5 logika sentensial bab 6 pengantar teori inferensi bab 7 aturan inferensi bab 8 ekuivalensi logis dan bab 9 logika predikat Buku ajar ini disusun berdasarkan rumusan CPL (Capaian Pembelajaran Lulusan) Program Studi Pendidikan Matematika dan rumusan Capaian Pembelajaran Mata Kuliah yang telah tertuang dalam RPS (Rencana Pembelajaran Semester). Buku ajar ini terdiri atas dua topik utama yaitu Teori Himpunan dan Logika Matematika yang terbagi dalam 9 bab, yaitu bab 1 pengantar ...teori himpunan, bab 2 aljabar himpunan, bab 3 simbolisasi bahasa sehari-hari dalam notasi himpunan, bab 4 pengantar logika, bab 5 logika sentensial, bab 6 pengantar teori inferensi, bab 7 aturan inferensi, bab 8 ekuivalensi logis, dan bab 9 logika predikat.