Completeness and validity for intuitionistic predicate logic

Door: Troelstra, A.S.

---

• ISBN:
• Uitgever: University of Amsterdam 1976 stencil
• Taal:
• Categorie: science
• Details: 27 blz. Report 76-05 (code Sc-44)
• Extra informatie:
• € 16.00