Logic for computer science

Steve Reeves 1957- Michael Clarke 1940-

Localização: EPBC - Esc. Politécnica-Bib Central (658.788 R259L )(Acessar)

Título:
Logic for computer science
Autor: Steve Reeves 1957-
Michael Clarke 1940-
Assuntos: Logic, Symbolic and mathematical; TEORIA DA COMPUTAÇÃO; LÓGICA MATEMÁTICA
Notas: Includes bibliographical references (p. 255-256) and index
Títulos relacionados: Série:International computer science series
Editor: Wokingham, England Addison-Wesley Reading, Mass.
Data de criação/publicação: c1990
Formato: xi, 260 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados