Ilmu Logika - ARIF, Oesman (Bina Ilmu, 1977)