TY  - GEN
AU  - Metakides, George
TI  - PATRAS LOGIC SYMPOSION
U1  - 511.3 
PY  - 1982///
CY  - Amsterdam
PB  - North-Holland
KW  - Logic, Symbolic And Mathematical -- Congresses
ER  -