Logic
Subtitle: from foundations to applications
By: European Logic Colloquium ; edited by Wilfrid Hodges ... [et al.]
Contributors: Hodges, Wilfrid; Association for Symbolic Logic
Publisher: Clarendon Press
Published: 1996
Place of publication: Oxford
Language: eng
Number of pages: 536
Subjects: Logic, Symbolic and mathematical -- Congresses
Notes: "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