1 results
Definability theorem for the intuitionistic predicate logic with equality
-
- Journal:
- Nagoya Mathematical Journal / Volume 87 / November 1982
- Published online by Cambridge University Press:
- 22 January 2016, pp. 1-15
- Print publication:
- November 1982
-
- Article
-
- You have access
- Export citation