Login Colloquium 76

Publication

North- Holand Pub Co

Publication Year

1977

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

DocumentNumber

25142

SubTitle

: proceedings of a conference held in Oxford in July 1976

Editor

edited by R. O. Gandy,J. M. E. Hyland

Link To Document