@article{1182353787, title = {Australasian Association for Logic 2000 Annual Conference}, journal = {Bull. Symbolic Logic}, volume = {7}, number = {1}, year = {2001}, pages = { 287-290}, language = {en}, url = {http://dml.mathdoc.fr/item/1182353787} }
(éd.). Australasian Association for Logic 2000 Annual Conference. Bull. Symbolic Logic, Tome 7 (2001) no. 1, pp. 287-290. http://gdmltest.u-ga.fr/item/1182353787/