Número de Chamada
|
511.3 L832
|
|
Entradas Secundárias - Autor
|
Odifreddi, Piergiorgio, ed.
|
|
Título Principal
|
Logic and computer science / edited by Piergiorgio Odifreddi. _
|
|
Publicação
|
London : Academic, 1990.
|
|
Descrição Física
|
430p. _
|
|
Notas
|
Inclui indice e bibliografia
ISBN 0-12-524220-4
|
|
Notas Locais
|
London : Academic, 1990.
|
|
Assuntos
|
Demonstracao automatica de teoremas
Lógica simbólica e matemática
|
|