Record:   Prev Next
Author Logic Colloquium, Bristol, Eng., 1973
Title Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 / ed. by H. E. Rose and J. C. Shepherdson
Imprint Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1975
book jacket
 Mathematics Library  QA9.A1 L63 1973    AVAILABLE    30340200119349
Descript viii, 513 p. ; 23 cm
Series Studies in logic and the foundations of mathematics ; v. 80
Note "Held under the auspices of the Association for Symbolic Logic."
Includes bibliographical references
Subject Logic, Symbolic and mathematical -- Congresses
Alt Author Rose, Harvey Ernest
Shepherdson, J. C
Association for Symbolic Logic
Record:   Prev Next