Author: International Symposium on Gödel's Theorems (1st 1991 Paris, France)