On a second order propositional operator in intuitionistic logic

Door: Troelstra, A.S.

---

• ISBN:
• Uitgever: University of Amsterdam 1979 stencil
• Taal:
• Categorie: science
• Details: 26 blz. Report 79-14 (code Sc-44)
• Extra informatie:
• € 12.00