Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Visser, Albert
2002.
Substitutions of Σ10-sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.
Annals of Pure and Applied Logic,
Vol. 114,
Issue. 1-3,
p.
227.