. "intuitionistic logic"@en . . . . . . . . . . . . . . . . . . . . . . .