Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Livre papier |
| Γλώσσα: | Anglais |
| Έκδοση: |
Amsterdam :
North-Holland
1965.
|
| Σειρά: | Studies in logic and the foundations of mathematics
|
| Θέματα: | |
| Autres localisations: | Voir dans le Sudoc |
| Φυσική περιγραφή: | 1 vol. (320 p.) ; 23 cm. |
|---|---|
| Βιβλιογραφία: | Notes bibliogr. |
| ISSN: | 0049-237X |