Rudiments of logic. - Myro George; Bedau Mark (New Jersey Prentice Hall, 1987)