Mostrando 261 resultados

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

2 resultados com objetos digitais Exibir resultados com objetos digitais

O paradoxo de Curry-Moh Shaw-Kwei
O paradoxo de Curry-Moh Shaw-Kwei
O sistema A de Ackermann
O sistema A de Ackermann
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Ofício C.V.47/00116
Ofício C.V.47/00116
Ofício C.V.47/00117
Ofício C.V.47/00117
Ofício C.V.47/00118
Ofício C.V.47/00118
Ofício C.V.47/00119
Ofício C.V.47/00119
Ofício GR 870/83
Ofício GR 870/83
Ofício GR 985/83
Ofício GR 985/83
Ofício IMECC/DI-062/81
Ofício IMECC/DI-062/81
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
Plano [de pesquisa]
Plano [de pesquisa]
Processo 1234/81
Processo 1234/81
Processo n. 1817/81
Processo n. 1817/81
Rascunho de AIA
Rascunho de AIA
Rascunho de AIA
Rascunho de AIA
Recibo de Elias Humberto Alves
Recibo de Elias Humberto Alves
Recibo de Luiz Paulo de Alcântara
Recibo de Luiz Paulo de Alcântara
Recibo de Rolando Chuaqui
Recibo de Rolando Chuaqui
Recibo do CNPq
Recibo do CNPq
Relatório científico
Relatório científico
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Semântica para D1
Semântica para D1
Sistema DL
Sistema DL
Sistemas formais inconsistentes e teorias de conjuntos
Sistemas formais inconsistentes e teorias de conjuntos
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Exibindo 211-240 de 261 resultados