ADI SETIYADI, 031043119 (2012) PENERAPAN SISTEM PEMBUKTIAN SEDERHANA YANG NEGATIF DALAM KEPAILITAN. Thesis thesis, UNIVERSITAS AIRLANGGA.