Introduction to logic. - Davis Wayne A (1986)