Logical foundations of mathematics - Hatcher William S (Oxford Pergamon Press, 1982)
Keywords: Mathematics-Philosophy