A transfinite type theory with type variables
שמור ב:
| מחבר ראשי: | |
|---|---|
| פורמט: | Livre papier |
| שפה: | Anglais |
| יצא לאור: |
Amsterdam :
North-Holland
C 1965.
|
| סדרה: | Studies in logic and the foundations of mathematics
|
| נושאים: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| הערות: |
A demander à la BU Sciences |
|---|
| מקום | סימן המיקום | Type de prêt | סטטוס | |
|---|---|---|---|---|
| Salle de lecture | 5394 AND | זמין |