Principles of mathematical logic - Hilbert, D. (Saunders series, 1990)