TY  - GEN
AU  - Paris, J.B [ed.]
AU  - Wilkie,  A.J [ed.]
TI  - Logic Colloquium '84: proceedings..
SN  - 0444879994
U1  - 511.3 
PY  - 1986///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, Symbolic And Mathematical -- Cong
ER  -