Mostrando 742 resultados

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

18 resultados con objetos digitales Muestra los resultados con objetos digitales

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
Cálculo Proposicional
Cálculo Proposicional
Estudos em Lógica
Estudos em Lógica
A teoria de primeira ordem v
A teoria de primeira ordem v
Cálculos Implicativos Gerais
Cálculos Implicativos Gerais
Capítulo II - Teoria de conjuntos An
Capítulo II - Teoria de conjuntos An
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
O sistema A de Ackermann
O sistema A de Ackermann
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Estudo contendo vários teoremas
Estudo contendo vários teoremas
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Generalization of some results of Elie Sanchez
Generalization of some results of Elie Sanchez
Resultados 121 a 150 de 742