First International Symposium on Gödel's Theorems Paris, 27 - 29 May 1991 (World Scientific, 1993)