TEKNIK BAWAH-ATAS UNTUK MEMPERMUDAH PENYELESAIAN DEDUKSI ALAMI DENGAN SISTEM GENTZEN (Duta Wacana Christian University, 2012)