TY  - BOOK
A1  - edited by Manfred Droste and Yuri Gurevich
TI  - Semantics of programming languages and model theory
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101369321
UR  /book/101369321/Semantics-of-programming-languages-and-model-theor/
ER  -