Lecture at (1995)

by K Gödel