Buku ini membahas: 1. Pengenalan logika matematika 2. Pengantar logika proporsional 3. Metode-metode logika proporsional 4. Pengantar logika predika 5. Komponen-komponen sintaktik 6. Kuantor-kuantor 7. Penafsiran dan validitas 8. Derivasi 9. Ekuivalen logis untuk logika predikat 10. Tablo semantikl untuk logika predikat 11. Bentuk normal prenex 12. Resolusi untuk logika pre…