TY  - GEN
AU  - STERN,J.
TI  - LOGIC COLLOQUIUM `81
U1  - 511.3 
PY  - 1982///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, Symbolic And Mathematical -- Congresses
N1  - Proceedings Of The Herbran Symposium
ER  -