Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. - Roderic A. Girle; I. C. Hinckfuss (J. Symb. Log., 1988)