Modern logic an introduction - Thomas, Norman L. (National Book Store, 1966)