Advanced logic for applications

Detalhes bibliográficos
Autor principal: Grandy, Richard E.
Formato: Livro
Idioma:English
Publicado em: Dordrecht D. Reidel c1979.
coleção:Synthese library v. 110
Assuntos: