Logic and its applications - BURKE, Edmund (Englewood Cliffs)