Buku ajar ini disajikan sebagai bahan dasar untuk memperkenalkan Hukum Acara Peradilan Tata Usaha Negara kepada mahasiswa, sehingga mahasiswa dapat memahami teori, termasuk prosedur acara peradilan tata usaha negara. Penyiapan dan pengenalan dasar-dasar dan tata cara praktik hukum di peradilan tata usaha negara kepada mahasiswa, di pandang sangat penting sebagai persiapan setelah menyelesa…
Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Buku ini te…