Logic: from foundation to applications : European logic colloquium/ edited by Wilfrid Hodges ... [et al.]. - Oxford: New York: Clarendon Press, Oxford University Press, 1996. - xiii, 536 p.: ill.; 25 cm. - Oxford science publications. .

"Logic Colloquium '93 was a European meeting of the Association for Symbolic Logic. It took place at the University of Keele, Staffordshire, England from 20 to 29 July 1993"--P. [vii].

Includes bibliographical references.

0198538626

97110319 //r97


Logic, Symbolic and mathematical---Congresses.

511.3 / L832