TY  - BOOK
AU  - Ruzsa, Imre 
TI  - Model logic with descriptions 
U1  - 330.01519 
PY  - 1981///
CY  - London  
PB  - Martinus Nijhoff Publishers 
ER  -