1 - Logic colloquium '82 : proceedings of the colloquium held in Florence, August 23--28, 1982Lolli, G. (Ed.) / Marcja, Annalisa (Ed.) / Longo, Giuseppe (Ed.)Cote : [05 LOL 84]
