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 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.