Intoduction to mathematical logic. - Robison Gerson B (London Prentice- Hall, 1969)