Lecture

Kurt Gödel : mathematics, logic and philosophy (continued)