TY  - BOOK
A1  - / edited by Manfred droste and yuri gurevich
TI  - Semantics of programming languages and model theory
PB  - کتابخانه مرکزی و مرکز اسناد دانشگاه اراک
SN  - 94793370
UR  /book/94793370/Semantics-of-programming-languages-and-model-theor/
ER  -