Recursion theory for metamathematics
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả của công ty: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
New York :
Oxford University Press,
1993.
|
| Loạt: | Oxford logic guides ;
22. |
| Những chủ đề: | |
| Truy cập trực tuyến: | An electronic book accessible through the World Wide Web; click to view |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Search Result 1
Recursion theory for metamathematics
Được phát hành 1993.
An electronic book accessible through the World Wide Web; click to view
Điện tử
eBook