Logic and logic design - Girling, Brian (Intertext books, 1973)