Logic colloquium '73
Subtitle: proceedings of the Logic Colloquium, Bristol, July 1973
By: ed. by H. E. Rose and J. C. Shepherdson.
Contributors: Rose, H. E.; Shepherdson, J. C.; Association for Symbolic Logic.
Series: Studies in logic and the foundations of mathematics -- v. 80
Publisher: North-Holland Pub. Co.; American Elsevier
Published: 1975
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 513
Subjects: Logic, Symbolic and mathematical -- Congresses
Notes: "Held under the auspices of the Association for Symbolic Logic."

Includes bibliographical references.