Ilmu Logika - Arif, Oesman (Bina Ilmu, 1982)