TY  - BOOK
AU  - Makkai Michael
TI  - Duality and definability in first order logic
U1  - 510 
PY  - 1993///
CY  - Providence
PB  - AMS
KW  - Duality
KW  - First order logic
ER  -