Buku ini membahas tentang; PEngantar logika, kuantifikasi, aljabar boole, Switching circuits, gerbang logika, serta model pembuktian.
Buku ini membahas : Hubungan antara Teori Himpunan Sedrhana dan Teori Himpunan Samar, Hubungan antara Teori Logika Matematika dan Teori Logika Samar. Relasi Samar, Teori Logika Samar dan beberapa aplikasinya (dalam keteknikan Perekonomian, pertanian, kedokteran dan sebagainya.