Elements of logic. - Barker Stephen F (1974)