PEMBUKTIAN PADA DEDUKSI ALAMI DENGAN TEKNIK TABEL DAN TEKNIK GARIS HORISONTAL (Duta Wacana Christian University, 2010)