LC CutterNumber :
.A1,L63
Corp. Body :
Login Colloquium, Oxford, 1976
Title :
Login Colloquium 76
Publication :
North- Holand Pub Co
Collation :
x, 162 p., ports,; 23 cm
Series :
Studies in Login and the foundations of mathematics; v. 87
Subject :
Login, Symbolic and mathematical- Congresses
ADDED ENTRIES :
Gandy, R. O.,Hyland, John Martin Elliott
SubTitle :
: proceedings of a conference held in Oxford in July 1976
Editor :
edited by R. O. Gandy,J. M. E. Hyland
