Limit search to items available for checkout
BOOK
Title Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July l973 / ed. by H. E. Rose and J. C. Shepherdson.
Imprint Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier , 1975.

Copies/Volumes

LOCATION CALL # STATUS
 Main Stacks  QA9.A1 L63 1973    AVAILABLE
 Main Stacks  QA9.A1 L63 1973    AVAILABLE
Description viii, 513 p. ; 23 cm.
Series Studies in logic and the foundations of mathematics; v. 80.
Bibliog. Includes bibliographical references.
Note "Held under the auspices of the Association for Symbolic Logic."
Subject Logic, Symbolic and mathematical -- Congresses.
Other Author Rose, Harvey Ernest.
Shepherdson, J. C.
Association for Symbolic Logic.