Imprimir vista previa Cerrar

Mostrando 743 resultados

Descripción archivística
Ayda Ignez Arruda
Imprimir vista previa Ver :

19 resultados con objetos digitales Muestra los resultados con objetos digitales

Ofício IMECC/DI/n.070/81 de Antonio Conde
Ofício IMECC/DI/n.070/81 de Antonio Conde
Carta de Antonio Conde
Carta de Antonio Conde
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
Carta de John T. Baldwin a Said Sidki
Carta de John T. Baldwin a Said Sidki
Ofício n. 117/76-M de Martha Maria Mischan
Ofício n. 117/76-M de Martha Maria Mischan
Carta de Bruce I. Rose
Carta de Bruce I. Rose
Ofício GR-015/80 de Plínio Alves de Moraes
Ofício GR-015/80 de Plínio Alves de Moraes
Carta de Roman Sikorski para Universidad Nacional del Sur
Carta de Roman Sikorski para Universidad Nacional del Sur
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Silogismos Não-Aristotélicos
Silogismos Não-Aristotélicos
Vasil'év
Vasil'év
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Estudo de AIA Desenvolvimento de C1
Estudo de AIA Desenvolvimento de C1
Aplicação de Matrizes
Aplicação de Matrizes
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Matrizes
Matrizes
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Relevance Logic and the Schema of Separation
Relevance Logic and the Schema of Separation
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 Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Resultados 211 a 240 de 743