Showing 743 results

Archival description
Ayda Ignez Arruda
Print preview View:

19 results with digital objects Show results with digital objects

A Evolução do Método Axiomático
A Evolução do Método Axiomático
A Lógica e a Matemática são idênticas?
A Lógica e a Matemática são idênticas?
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A partial comparison of two conditions on the intersections of regressive sets
A partial comparison of two conditions on the intersections of regressive sets
A semantical study of some of vagueness logic
A semantical study of some of vagueness logic
A survey of Paraconsistent Logic
A survey of Paraconsistent Logic
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
A Survey of Paraconsistent Logic. Mathematical Logic in Latin America
A teoria de primeira ordem v
A teoria de primeira ordem v
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Adendo ao processo 78/0232
Adendo ao processo 78/0232
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Aerograma de Ken para AIA
Alcune osservazione sulle algebre cilindriche speciali
Alcune osservazione sulle algebre cilindriche speciali
Alfred Tarski - Parte 1
Alfred Tarski - Parte 1
Álgebras de conjuntos não-clássicas
Álgebras de conjuntos não-clássicas
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Aplicação de Matrizes
Aplicação de Matrizes
Apresentação de atividades
Apresentação de atividades
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Artigo cálculos proposicionais
Artigo cálculos proposicionais
Artigo sem título
Artigo sem título
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
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent
Ata da 24ª reunião extraordinária
Ata da 24ª reunião extraordinária
Results 1 to 30 of 743