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