Sua pesquisa retornou 4 resultados.

Introdução à lógica matemática / Benedito Castrucci.

por Castrucci, Benedito, 1909-.

Série: Série Professor ; n. 4Edição: 2. ed.Detalhes da publicação: São Paulo : Nobel, 1974Disponibilidade:Exemplares disponíveis para empréstimo: Biblioteca INPA (1) Número de chamada: 511.3 C355i.

Prova de Gödel / Ernest Nagel.

por Nagel, Ernest, 1901- | Newman, James Roy, 1907-1966 | Guinsburg, Gita Kukavka [trad] | Guinsburg, J [dir].

Série: Coleção Debates Lógica ; v. 75.Idioma: Português Detalhes da publicação: São Paulo : Perspectiva, 1973Título traduzido: Gödel proof.Disponibilidade:Exemplares disponíveis para empréstimo: Biblioteca INPA (1) Número de chamada: 511.3 N147p.

Lógica elementar / Benson Mates ; traduzido por Leônidas H. B. Hegenberg, Octanny Silveira da Mota

por Mates, Benson | Hegenberg, Leônidas H. B | Mota, Octanny Silveira da.

Série: Biblioteca Universitária. Série 1. Filosofia ; v. 11Detalhes da publicação: São Paulo: Nacional, 1968Título traduzido: Elementary logic.Disponibilidade:Exemplares disponíveis para empréstimo: Biblioteca INPA (1) Número de chamada: 160 M425l.

Lógica: simbolização e dedução / Leônidas Hegenberg.

por Hegenberg, Leônidas.

Detalhes da publicação: São Paulo: EPU, 1975Disponibilidade:Exemplares disponíveis para empréstimo: Biblioteca INPA (1) Número de chamada: 164 H463l.

Powered by Koha