Logic Colloquium '84 : Proceedings of the colloquium held in Manchester, U.K., July 1984 / Editors : J.B. Paris, A.J. Wilkie, G.M. Wilmers. - Amsterdam ; Oxford : North-Holland, 1986. - x, 377 p : ill ; 23 cm. - Studies in logic and the foundations of mathematics Vol. 120 .

Includes one chapter in French "... the European summer meeting of the Association for Symbolic Logic" - Pref.

Includes bibliogr. references

0444879994


Logic, Symbolic and mathematical--Congresses

511.3