TY  - BOOK
AU  - Rose H. E. Ed.
AU  -  Shepherdson J. C. Ed.
TI  - Logic Colloquium '73
T2  - Studies in logic and the foundations of mathematics; 80
U1  - B:R14p1,N73, L5 
PY  - 1975///
CY  - Amsterdam
PB  - North Holland        
ER  -