Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 - Logic Colloquium; Lolli, Gabriele; Longo, Giuseppe; Marcja, A. (Annalisa) (Studies in logic and the foundations of mathematics, 1984)