Semantics of programming languages and model theory

Bibliographic Details
Other Authors: Droste, Manfred 1956-, Gurevich, Yuri
Format: Book
Language:English
Published: Yverdon, Switzerland Gordon and Breach Science Publishers c1993.
Series:Algebra, logic, and applications v. 5
Subjects: