Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 / Edited by H. E. Rose and J. C. Shepherdson.

Bibliographic Details

Uniform Title:	Studies in logic and the foundations of mathematics ; v. 80.
Corporate Author:	Logic Colloquium Bristol
Other Authors:	Rose, H. E. Shepherdson, J. C.
Language:	English
Published:	Amsterdam : New York : North-Holland Pub. Co. ; American Elsevier Pub. Co., 1975.
Series:	Studies in logic and the foundations of mathematics ; v. 80.
Subjects:	Logic, Symbolic and mathematical > Congresses.
Genre:	Congresses.
Physical Description:	viii, 513 pages ; 23 cm.
Format:	Conference Proceeding Book