Showing 1729 results

Archival description
English
Print preview View:
Descending

324 results with digital objects Show results with digital objects

Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde
Ofício DGA-1 n. 232/81 de Ives Antonio Corazza para Antonio Conde
Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio
Ofício IMECC n. 24/75 de Ubiratan D’Ambrósio
Sobre A Teoria dos Tipos
Sobre A Teoria dos Tipos
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Rascunho Sobre os cálculos de predicados de Vasil'év
Rascunho Sobre os cálculos de predicados de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo sobre a completude de C+
Estudo sobre a completude de C+
Estudo de AIA
Estudo de AIA
Capítulo I: Cálculo Proposicional
Capítulo I: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Capítulo II: Cálculo Proposicional
Função de verdade e matrizes
Função de verdade e matrizes
Capítulo I - Introdução aos Conceitos Fundamentais
Capítulo I - Introdução aos Conceitos Fundamentais
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Estudo sobre a regra do modus ponens
Estudo sobre a regra do modus ponens
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
As concepções lógicas de N.A. Vasil’év
As concepções lógicas de N.A. Vasil’év
As idéias lógicas de N.A. Vasil’év
As idéias lógicas de N.A. Vasil’év
Aspects of the historical development of Paraconsistent Logic
Aspects of the historical development of Paraconsistent Logic
La mathématique classiques dans Nfw
La mathématique classiques dans Nfw
On Griss propositional calculus
On Griss propositional calculus
On the Postulate of Separation
On the Postulate of Separation
Remarks on da Costa Paraconsistent set theories
Remarks on da Costa Paraconsistent set theories
Sur certaines hiérarchies de calculs propositionnels
Sur certaines hiérarchies de calculs propositionnels
Some remarks on the logic of vagueness
Some remarks on the logic of vagueness
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Results 151 to 180 of 1729