Semantics of programming languages and model theory

Detalhes bibliográficos
Outros Autores: Droste, Manfred 1956-, Gurevich, Yuri
Formato: Livro
Idioma:English
Publicado em: Yverdon, Switzerland Gordon and Breach Science Publishers c1993.
coleção:Algebra, logic, and applications v. 5
Assuntos: