TY  - BOOK
AU  - Lopez-Escobar Edgar G K
AU  - Smith C D ed
TI  - Mathematical logic and Theoretical computer science
SN  - 0-8247-7746-8
U1  - 511.3 
PY  - 1987///
CY  - New York
PB  - Marcel Dekker
KW  - Algebra
KW  - Mathematical logic
ER  -