An Introduction to mathematical logic - Robison, Gerson B., 1909- (Prentice-Hall, 1969)