The logical foundations of mathematics. - Hatcher, William S. (Foundations and philosophy of science and technology series., 1982)