Foundations of mathematics
Hatcher, William S.
Saunders
1968