A Mechanization of type theory
Détails de l'édition
- Éditeur
- LABORIA (Rocquencourt)
- Date de publication
- 1 janvier 1973
- Langue
- eng
- Dimensions
- 30 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026