The Logic foundations of mathematics - Hatcher, William S. (Pergoman Press, 1982)