Logic colloquium '73 proceedings of the Logic Colloquium, Bristol, July 1973
Logic Colloquium1973Bristol.
Rose, H. E.(Harvey Ernest),1936-
Shepherdson, J. C.(John Cedric)
Association for Symbolic Logic.
Amsterdam Oxford North-Holland Publishing Co. [etc.]
1975
'... expanded versions of most of the lectures and talks given at the 1973 Logic Colloquium [held under the auspices of the Association for Symbolic Logic in July 1973 in Bristol, England]' - Book jacket
Includes bibliographies
Logic, Symbolic and mathematical.