Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Định dạng: | Sách |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Amsterdam
North-Holland
1964
|
| Loạt: | Studies in logic and the foundations of mathematics
|
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Biblioteca de Matemática -
| Số hiệu: |
511.3 MOS 1964 |
|---|---|
| Sao chép 2689138 | Sẵn có Đặt Giữ |