LC CutterNumber :
.A1,L63
Title :
Logic Colloquiumʹ 85
Publication :
North- Holland
Collation :
xiii, 308 p.: illus
Series :
Studies in logis and the foundations of mathematics v.122
Notes :
English and French
Subject :
Login, Symbolic and mathematical- Congresses
SubTitle :
: proceedings of the colloquium held in Orsay, France July 1985
Editor :
edited by the Paris Login Group
