The logical basis for computer programming

Detalhes bibliográficos
Autor principal:	Manna, Zohar
Outros Autores:	Waldinger, Richard
Formato:	Livro
Idioma:	English
Publicado em:	Reading, Mass. Addison-Wesley c1985-c1990.
Colecção:	Addison-Wesley series in computer science
Assuntos:	Computer programming. Logic, Symbolic and mathematical.