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