Top Models
Add to clipboard
Top Models
Produção de Terceiros
Add to clipboard
Produção de Terceiros
Add to clipboard
Curriculum Vitae
Relação de pessoal administrativo do sr. Octávio Catanhede, Superintendente do PROTEC a pessoa desconhecida, demonstrando a necessidade de mais dois funcionários para o CFBT – GB. PROTEC, s.d. Ass. Octávio Catanhede
Add to clipboard
Relação de pessoal administrativo do sr. Octávio Catanhede, Superintendente do PROTEC a pessoa desconhecida, demonstrando a necessidade de mais dois funcionários para o CFBT – GB. PROTEC, s.d. Ass. Octávio Catanhede
Estudo feito pela Coordenação Geral de Programas com base nos dados fornecidos pelo PROTEC enviados ao Ministro de Estado da Educação e Cultura, visando a efetivação e execução dos objetivos a que o PROTEC tinha por proposta. s.l. s.d. S. ass. 7p. cópia datil. (anexo 4p. cópia datil., orçamento para 1964, do PROTEC; Orçamento do CFBT – GB, 2p. datil.; convênios 1963/1964, 1p. datil.; orçamento do PROTEC, 1p.; orçamento do CFBT – GB, 1p. datil.).
Add to clipboard
Estudo feito pela Coordenação Geral de Programas com base nos dados fornecidos pelo PROTEC enviados ao Ministro de Estado da Educação e Cultura, visando a efetivação e execução dos objetivos a que o PROTEC tinha por proposta. s.l. s.d. S. ass. 7p. cópia datil. (anexo 4p. cópia datil., orçamento para 1964, do PROTEC; Orçamento do CFBT – GB, 2p. datil.; convênios 1963/1964, 1p. datil.; orçamento do PROTEC, 1p.; orçamento do CFBT – GB, 1p. datil.).
Add to clipboard
Extrato bancário
Envelope
Add to clipboard
Envelope
Add to clipboard
Carta de encaminhamento
Add to clipboard
Telegrama de condolências
Add to clipboard
Carta de condolências
Carta de Nicola Grana para AIA
Add to clipboard
Carta de Nicola Grana para AIA
Correspondência de Terceiros
Add to clipboard
Correspondência de Terceiros
Carta de Richard [Routley] para Newton C. A. da Costa
Add to clipboard
Carta de Richard [Routley] para Newton C. A. da Costa
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Add to clipboard
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Add to clipboard
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Add to clipboard
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
N.A. Vasilév: a forerunner of Paraconsistent Logic
Add to clipboard
N.A. Vasilév: a forerunner of Paraconsistent Logic
Estudo de AIA Silogística de Vasil'év
Add to clipboard
Estudo de AIA Silogística de Vasil'év
Estudo de AIA sem título
Add to clipboard
Estudo de AIA sem título
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Add to clipboard
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA Capítulo I: Os Cálculos Cn
Add to clipboard
Estudo de AIA Capítulo I: Os Cálculos Cn
Estudo de AIA sobre dualidade entre C1 e C1
Add to clipboard
Estudo de AIA sobre dualidade entre C1 e C1
Cálculo de predicados de ordem superior
Add to clipboard
Cálculo de predicados de ordem superior
Decidibilidade do cálculo implicativo clássico
Add to clipboard
Decidibilidade do cálculo implicativo clássico
Independência de axiomas
Add to clipboard
Independência de axiomas
Aspects of the Historical Development of Paraconsistent Logic
Add to clipboard
Aspects of the Historical Development of Paraconsistent Logic
Abstract da palestra Implicative Systems and Modus Ponens Rule
Add to clipboard
Abstract da palestra Implicative Systems and Modus Ponens Rule
Observações sobre os sistemas NFi
Add to clipboard
Observações sobre os sistemas NFi
Sobre a regra do Modus Ponens
Add to clipboard
Sobre a regra do Modus Ponens
Teorema da Dedução para Teorias de Primeira Ordem
Add to clipboard
Teorema da Dedução para Teorias de Primeira Ordem