An introduction to mathematical logic / by G.B. Robison. - Robison, G. B. (Prentice-Hall, 1969)