Carta de Rubem A. Alves a José Aristodemo Pinotti
Carta de Rubem A. Alves a José Aristodemo Pinotti
Carta de recomendação de Weiner Krabs
Carta de recomendação de Weiner Krabs
Carta de W.W. Tait a Said Sidki
Carta de W.W. Tait a Said Sidki
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna
Ofício IMECC/DI-064/81 de Antonio Cond
Ofício IMECC/DI-064/81 de Antonio Cond
Ofício IMECC/DI/n.070/81 de Antonio Conde
Ofício IMECC/DI/n.070/81 de Antonio Conde
Carta de Antonio Diego para Carlos E. Meyer
Carta de Antonio Diego para Carlos E. Meyer
Carta de José Norberto Walter Dachs
Carta de José Norberto Walter Dachs
Carta de José Norberto Walter Dachs
Carta de José Norberto Walter Dachs
Ofício n. 117/76-M de Martha Maria Mischan
Ofício n. 117/76-M de Martha Maria Mischan
Carta de Rolando Chuaqui para Carlos E. Meyer
Carta de Rolando Chuaqui para Carlos E. Meyer
Carta de Rubem A. Alves a José Aristodemo Pinotti
Carta de Rubem A. Alves a José Aristodemo Pinotti
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
Carta de W.W. Tait a Said Sidki
Carta de W.W. Tait a Said Sidki
Produção Intelectual Manuscrita
Produção Intelectual Manuscrita
Artigos
Artigos
Álgebras de conjuntos não-clássicas
Álgebras de conjuntos não-clássicas
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
Sur la Théorie des Sytèmes Formels Inconsistants
Sur la Théorie des Sytèmes Formels Inconsistants
Une sémantique pour le calcul C1=
Une sémantique pour le calcul C1=
Artigo sem título
Artigo sem título
Os sistemas P e P*,
Os sistemas P e P*,
Críticas de Smirnov à lógica de Vasil'év
Críticas de Smirnov à lógica de Vasil'év
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Sistemas Cn, Cw e Relacionados
Sistemas Cn, Cw e Relacionados
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA Teoremas em Cw
Estudo de AIA Teoremas em Cw
Cálculos Proposicionais, de Predicados e Matrizes
Cálculos Proposicionais, de Predicados e Matrizes
