Lógica : o cálculo sentencial / Leônidas Hegenberg. -
Tipo de material:
- 511.3
Tipo de material | Biblioteca atual | Coleção | Número de chamada | Situação | Código de barras | |
---|---|---|---|---|---|---|
![]() |
Biblioteca do INPA E35_P04 | Obras Gerais | 511.3 H462l (Percorrer estante(Abre abaixo)) | Disponível | 76-0628 |
Percorrer Biblioteca do INPA estante, Localização na estante: E35_P04, Coleção: Obras Gerais Fechar navegador de prateleira (Oculta o navegador da estante)
|
|
|
|
|
|
|
||
511 R962o Optimization theory / | 511.3 B261a An algebraic introduction to mathematical logic / | 511.3 C355i Introdução à lógica matemática / | 511.3 H462l Lógica : o cálculo sentencial / | 511.3 K84log Logic and algorithms : with applications to the computer and information sciences / | 511.3 N147p Prova de Gödel / | 511.3 N828i Introdução ao mathematica for windows / |
Inclui índice.
Bibliografia: p. 169-174.
Não há comentários sobre este título.
Entre na sua conta para postar um comentário.