Foundations of mathematics - Hatcher, William S. (W. B. Saunders Company, 1968)