An introduction to Gödel's Theorems
Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises.
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | English |
| Được phát hành: |
Cambridge University
2013
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35945 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| id |
oai:scholar.dlu.edu.vn:DLU123456789-35945 |
|---|---|
| record_format |
dspace |
| spelling |
oai:scholar.dlu.edu.vn:DLU123456789-359452014-01-19T23:21:41Z An introduction to Gödel's Theorems Smith, Peter Symbolic and mathematical. Gödel, Kurt Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises. 2013-12-17T08:10:25Z 2013-12-17T08:10:25Z 2007 Book https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35945 en application/pdf Cambridge University |
| institution |
Thư viện Trường Đại học Đà Lạt |
| collection |
Thư viện số |
| language |
English |
| topic |
Symbolic and mathematical. Gödel, Kurt |
| spellingShingle |
Symbolic and mathematical. Gödel, Kurt Smith, Peter An introduction to Gödel's Theorems |
| description |
Peter Smith examines Gödel's Theorems, how they were established and why they matter. This is an ideal textbook for philosophy and mathematics students taking a first course in mathematical logic. A companion website is included with exercises. |
| format |
Book |
| author |
Smith, Peter |
| author_facet |
Smith, Peter |
| author_sort |
Smith, Peter |
| title |
An introduction to Gödel's Theorems |
| title_short |
An introduction to Gödel's Theorems |
| title_full |
An introduction to Gödel's Theorems |
| title_fullStr |
An introduction to Gödel's Theorems |
| title_full_unstemmed |
An introduction to Gödel's Theorems |
| title_sort |
introduction to gödel's theorems |
| publisher |
Cambridge University |
| publishDate |
2013 |
| url |
https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/35945 |
| _version_ |
1819791421134077952 |