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 .

Includes bibliogr. references

0444868763


Logic, Symbolic and mathematical

511.3