Showing 1 results
Archival description
Paraconsistent extensional propositional logics
Paraconsistent extensional propositional logics
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Fotografias
Fotografias
Ayda Ignez Arruda
Carta de Luiz Paulo de Alcântara para AIA
Carta de Luiz Paulo de Alcântara para AIA
Carta de Manoel Corrada para AIA
Carta de Manoel Corrada para AIA
Carta de Maria da Graça Rodrigues
Carta de Maria da Graça Rodrigues
Carta de Ryszard Wójcicki para AIA
Carta de Ryszard Wójcicki para AIA
Carta de Augustus Promoções e Vendas Ltda. para AIA
Carta de Augustus Promoções e Vendas Ltda. para AIA
Cartão de Natal de Vladimir A. Smirnov para AIA
Cartão de Natal de Vladimir A. Smirnov para AIA
Carta de Antonio Diego para Carlos E. Meyer
Carta de Antonio Diego para Carlos E. Meyer
Carta de George Glauberman a Said Sidki
Carta de George Glauberman a Said Sidki
Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde
Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde
Carta de José Norberto Walter Dachs
Carta de José Norberto Walter Dachs
Carta de Ubiratan D’Ambrósio
Carta de Ubiratan D’Ambrósio
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna
Carta de George Glauberman a Said Sidki
Carta de George Glauberman a Said Sidki
Comunicado da Universität Erlangen-Nürnberg
Comunicado da Universität Erlangen-Nürnberg
Carta de José Norberto Walter Dachs
Carta de José Norberto Walter Dachs
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Observações sobre o conjunto de Russell
Observações sobre o conjunto de Russell
Resumo de AIA intitulado On Griss' Propositional Calculus
Resumo de AIA intitulado On Griss' Propositional Calculus
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Rascunho Sobre os cálculos de predicados de Vasil'év
Rascunho Sobre os cálculos de predicados de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA
Estudo de AIA