Dados do Acervo - Livros
Número de Chamada
511.3 S729L
Autor Principal
Souza, Joao Nunes de
Título Principal
Lógica para ciência da computação: fundamentos de linguagem, semântica e sistemas de dedução / João Nunes de Souza
Publicação
[Rio de Janeiro] : Campus, [c2002].
Descrição Física
309 p. : il. ; 24 cm
Notas
Inclui bibliografia e índice
Notas Locais
A Biblioteca Central possui 7. tiragem
ISBN
8535210938 (broch.)
Assuntos
Lógica simbólica e matemática
Lógica - Processamento de dados
Semântica (Filosofia)