Ilmu logika - ARIF., Oesman (1982)