Some models for intuitionistc finite type arithmetic with fan-functional
Door: Troelstra, A.S.
- ISBN:
- Uitgever: University of Amsterdam 1974 stencil
- Taal: ------------------
- Categorie: science
- Details: 12 blz. Report 74-13 (code Sc-44)
- Extra informatie:
-
€ 10.00
Boeken zoeken
Categorieën
