what sense is intuitionistic logic constructive. Lecture at Yale (1941)

by K Gödel, In