Logika Simbol(logika Modern) Esman Arif - ARIF, Oesman Arif (Bina ilmu, 1978)