What is Mathematics: Gödel's Theorem and Around (Edition 2015)

Abstract

Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.