@article{1182353475, title = {G\"odel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt G\"odel's Legacy}, journal = {Bull. Symbolic Logic}, volume = {2}, number = {1}, year = {1996}, language = {en}, url = {http://dml.mathdoc.fr/item/1182353475} }
(éd.). Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt Gödel's Legacy. Bull. Symbolic Logic, Tome 2 (1996) no. 1, . http://gdmltest.u-ga.fr/item/1182353475/