Title: The effect of Griss' criticism of the intuitionistic logic on deductive theories formalized within the intuitionistic logic
Subjects: Symbolic and mathematical Logic, Intuitionistic mathematics