TY  - BOOK
AU  - Rose H E Ed.
TI  - Logic colloquium '73 : Proceedings of the colloquium bristol,july 1973
U1  - R14p3,N73, L5 
PY  - 1975///
CY  - Oxford
PB  - North Holland Publishing        
ER  -