Meeting of the Association for Symbolic Logic: Florence, Italy 1982. - E. Casari; E. J. Fenstad; G. Lolli; G. Longo; Annalisa Marcja; Dirk van Dalen (J. Symb. Log., 1984)