Search by :
Last search:
Buku ini berisi tabel kebenaran, proposisi Majemuk, Tautologi, Ekuivalensi Logis, penyederhanaan, strategi pembalikan, tablo semantik, bentuk normal, resolusi, deduksi alami, dan kalkulus deret.