LogicColloquium '82
Subtitle: proceedings of the colloquium held in Florence, 23-28 August, 1982
By: edited by G. Lolli, G. Longo and A. Marcja.
Contributors: Lolli, G.; Longo, G.; Marcja, A.
Series: Studies in logic and the foundations of mathematics -- v.112
Publisher: North-Holland
Published: 1984
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 358
Subjects: Logic, Symbolic and mathematical.
Notes: Includes bibliographies.