Normal View ISBD View

Logic colloquium 1973 : proceedings of the Logic Colloquium, Bristol, July 1973 / edited by H. E. Rose, J. C. Shepherdson - Amsterdam : North-Holland Pub. Co.; New York : American Elsevier, 1975 - VIII, 513 p. ; 23 cm. - Studies in logic and the foundations of mathematics ; 80 .

ISBN: 0444106421

Subjects--Topical Terms:
Logic, symbolic and mathematical -congresses