Sistematika buku ini dengan judul "Logika Matematika" terdiri atas 15 bab yang dijelaskan secara rinci dalam pembahasan mengenai konsep dan strategi dan analisis diantaranya: pengantar logika, logika proposi dasar, logika proposi lanjut, ekuivalensi, bentuk normal, aturan inferensi, logika kuantor, kalimat berkuantor, aturan penarikan kesimpulan, metode pembuktian langsung, metode pembuktian tidak langsung, metode pembuktian eksistensial.