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 -- v. 127; Studies in logic and the foundations of mathematics -- v. 127
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1989
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 403
Subjects: Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references