Mostrando 597 resultados

Descrição arquivística
Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:
Decrescente

5 resultados com objetos digitais Exibir resultados com objetos digitais

Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem
Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem
Rascunho Sobre os cálculos de predicados de Vasil'év
Rascunho Sobre os cálculos de predicados de Vasil'év
Rascunho de AIA
Rascunho de AIA
Rascunho de AIA
Rascunho de AIA
Questioni di categoricita delle teorie matematiche
Questioni di categoricita delle teorie matematiche
Proposta de Rolando Chuaqui
Proposta de Rolando Chuaqui
Proposta de Regimento Interno do IMECC
Proposta de Regimento Interno do IMECC
Propositional calculus for contradctory deductive systems
Propositional calculus for contradctory deductive systems
Projeto Sistemas de Bibliotecas da Unicam
Projeto Sistemas de Bibliotecas da Unicam
Programa, lista de gastos e outras informações
Programa, lista de gastos e outras informações
Programa, lista de gastos e outras informações
Programa, lista de gastos e outras informações
Programa Simpósio Latino-Americano de Lógica Matemática
Programa Simpósio Latino-Americano de Lógica Matemática
Processo n. 1928/81
Processo n. 1928/81
Processo n. 1817/81
Processo n. 1817/81
Processo 1234/81
Processo 1234/81
Proceedings of the Third Brazilian Conference on Mathematical Logic
Proceedings of the Third Brazilian Conference on Mathematical Logic
Problemi di decisione per algebre comesse a logiche a più valori
Problemi di decisione per algebre comesse a logiche a più valori
Plano [de pesquisa]
Plano [de pesquisa]
Paraconsistent extensional propositional logics
Paraconsistent extensional propositional logics
Os sistemas P e P*,
Os sistemas P e P*,
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
On the principle of contradiction in Aristotle
On the principle of contradiction in Aristotle
On the Postulate of Separation
On the Postulate of Separation
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
On the Imaginary Logic of N.A. Vasil'év
On the Imaginary Logic of N.A. Vasil'év
On the concept of formalization and partially ordered quantifiers
On the concept of formalization and partially ordered quantifiers
On structural completeness of some nonclassical predicate calculi
On structural completeness of some nonclassical predicate calculi
On sequential modifications of applied predicate calculi
On sequential modifications of applied predicate calculi
On Griss propositional calculus
On Griss propositional calculus
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna
Exibindo 151-180 de 597 resultados