Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July l973 /

Bibliographic Details
Corporate Authors:	Logic Colloquium Bristol, Eng., Association for Symbolic Logic
Other Authors:	Rose, Harvey Ernest, Shepherdson, J. C.
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier, 1975.
Series:	Studies in logic and the foundations of mathematics ; v. 80.
Subjects:	Logic, Symbolic and mathematical > Congresses.

Remote Storage