Rudiments of logic - Myro, George (Prentice Hall, 1987)