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].