Buku ini mendaarkan pembahasnnya kepada tiga puluh tiga putusan pengadilan ini, dibagi dalam enam bagian dengan fokus pada perkara hukum keluarga dalam kerangka hukum ISlam. Diantara pembahasan utama dalam buku ini adalah : Perkawinan; HArta bersama; Putusnya perkawinan; Hadanah dan perwalian; Hukum kewrisan; serta hukum wasiat, wakaf dan hibah.
Buku ini membahas : Pengenalan Logika matematika, pengantar logika proposisonal, metode-metode logika proposisional, pengantar logika predikat, komponen-komponen sintaktik, kuantor-kuantor, penafsiran dan validitas, derivasi, ekuaivalen logis untuk logika predikat, tablo semantik untuk logika predikat, bentuk normal prenex dan resolusi untuk logika predikat.
Buku ini terdiri dari sebelas bab yang membahas tentang; Otomata: Metode dan aplikasinya, otomata hingga, ekspresi regular dan bahasa, sifat-sifat bahasa reguler, tata bahasa dan bahasa bebas konteks, pushdown automata, sifat bahasa bebas konteks, pengenalan mesin turing, undecidability, problema yang intractable, serta kelas tambahan dalam problem.