Lógica : o cálculo sentencial / Leônidas Hegenberg. -
Detalhes da publicação: São Paulo : Herder, 1973Notas: 177p. : ilAssunto(s): Lógica simbólica e matemática | Cálculo proposicionalClassificação Decimal de Dewey: 511.3Tipo de material | Biblioteca atual | Setor | Classificação | Situação | Previsão de devolução | Código de barras |
---|---|---|---|---|---|---|
![]() |
Biblioteca INPA | Obras gerais | 511.3 H462l (Percorrer estante(Abre abaixo)) | Não pode ser emprestado | 76-0628 |
Percorrendo a Biblioteca INPA as estantes, 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 : | 511.3 K84log Logic and algorithms : | 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.