@article{1183741108, title = {Australasian Annual Conference: New South Wales, Australia, 1980}, journal = {J. Symbolic Logic}, volume = {47}, number = {1}, year = {1982}, pages = { 717-718}, language = {en}, url = {http://dml.mathdoc.fr/item/1183741108} }
(éd.). Australasian Annual Conference: New South Wales, Australia, 1980. J. Symbolic Logic, Tome 47 (1982) no. 1, pp. 717-718. http://gdmltest.u-ga.fr/item/1183741108/