Semantics of programming languages and model theory

التفاصيل البيبلوغرافية
مؤلفون آخرون: Droste, Manfred 1956-, Gurevich, Yuri
التنسيق: كتاب
اللغة:English
منشور في: Yverdon, Switzerland Gordon and Breach Science Publishers c1993.
سلاسل:Algebra, logic, and applications v. 5
الموضوعات: