Logic theoretical and applied - Brody (Prentice-Hall, 1973)