Return to Article Details Piranti Lunak Pembuktian Pernyataan Logika Proposisi dengan Metode Resolusi Menggunakan Bahasa Pemrograman Prosedural Download Download PDF