The Princeton Lectures on Intuitionism

Kurt Gödel [Maria Hämann-Antilla & Jan von Plato, editors]