what sense is intuitionistic logic constructive (1995)

by K
Venue:in Collected Works, Vol. III [Gödel