Logic Colloquium '82 : Proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Ed. by G. Lolli, G. Longo and A. Marcja.
- Amsterdam ; Oxford : North-Holland, 1984.
- viii, 358 p : ill ; 24 cm.
- Studies in logic and the foundations of mathematics Vol. 112 .