What is Mathematics: Gödel's Theorem and Around (Edition 2015)
Date
2015-01-25
Authors
Podnieks, Karlis
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.
Description
Keywords
mathematical logic , Research Subject Categories::MATHEMATICS , foundations of mathematics , axiomatic set theory , first order arithmetic , Hilbert's Tenth problem , incompleteness theorems