Australasian Association for Logic 1999 Annual Conference, co-sponsored by the Association for Symbolic Logic, The University of Melbourne, July 2–4, 1999. (English) Zbl 0952.03502
MSC:
03-06