Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Livre papier |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Amsterdam :
North-Holland
1965.
|
| Loạt: | Studies in logic and the foundations of mathematics
|
| Những chủ đề: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Ghi chú: |
A demander à la BU Sciences |
|---|
| Vị trí | Số hiệu | Type de prêt | Trạng thái | |
|---|---|---|---|---|
| Salle de lecture | CO 36 CRO | Sẵn có |