TY  - BOOK
AU  - Garcia O C
AU  - Taylor W
TI  - Lattice of interpretability types of varieties
U1  - 510 
PY  - 1984///
CY  - N Y
PB  - AMS
KW  - Lattice theory
KW  - Mathematics
ER  -