TY  - BOOK
AU  - Gandy R O ed.
ED  - Colloquium in mathematical logic( 1969,Aug : Manchester )
ED  - Colloquium in mathematical logic
TI  - Logic colloquium : proceedings of the summer school
SN  - 0-7204-2261-2
U1  - 511.3 
PY  - 1971///
CY  - London
PB  - North-Holland
KW  - Mathematical logic
ER  -