Logic Colloquium'88
Subtitle: proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988
By: edited by R. Ferro ... [et al.].
Contributors: Ferro, R.
Series: Studies in logic and the foundations of mathematics -- vol.127; Studies in logic and the foundations of mathematics -- vol.127.
Publisher: North-Holland
Published: 1989
Place of publication: Oxford
Language: eng
Number of pages: 403
Subjects: Logic, Symbolic and mathematical.