TY  - BOOK
AU  - Droste Manfred
AU  - Gurevich Yuri
TI  - Semantics of programming languages and model theory
U1  - 005.13 
PY  - 1993///
CY  - India
PB  - Gordon and Breach Science Pub
KW  - Computer science
KW  - Model theory
KW  - Programming languages
ER  -