Buku ini menceriterakan suatu gagasan mistis kuno yang masih hidup hingga abad moderen ini , yaitu berhubungan dengan alam arwah. Melalui suatu upacara tertentu, sebagian orang mengklaim dapat berhubungan dengan roh orang yang sudah wafat , dapat berkomunikasi dengannya dapat menerima pesan atau informasi darinya, dapat bertanya jawab dan seterusnya. Kelompok-kelompok kerohanian terten…
Bahan Pustaka ini mencakup : Bab 1 Kedudukan dan Peranan Filsafat Kedudukan Filsafat dalam Pengetahuan Bab 2 Peranan Filsafat Sumber Filsafat Filsafat dan Ilmu Filsafat dan Kebudayaan Filsafat dan Agama
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.