Logic Colloquium '84 :
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 .
- 511.3 .
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
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