TY  - BOOK
AU  - Rose,H.E.
AU  - Shepherdson,J.C.
ED  - Logic Colloquium
TI  - Logic colloquium '73: proceedings of the logic colloquium ; Bristol, July 1973 
SN  - 0720422000 :
U1  - 510.1 
PY  - 1975///
CY  - Amsterdam
PB  - North-Holland
KW  - Mathematics
KW  - Combinatorial analysis
KW  - Logic, symbolic and mathematical
KW  - Congresses
N1  - Includes bibliographical references and index
ER  -