The effect of griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic - Gilmore, Paul Carl (Amsterdam : [S.n.], 1953)
Conclusiones en alemán.