@article{1183744329, title = {Logic at Tver '92}, journal = {J. Symbolic Logic}, volume = {58}, number = {1}, year = {1993}, language = {en}, url = {http://dml.mathdoc.fr/item/1183744329} }
(éd.). Logic at Tver '92. J. Symbolic Logic, Tome 58 (1993) no. 1, . http://gdmltest.u-ga.fr/item/1183744329/