Showing 704 results

Archival description
Ayda Ignez Arruda Item
Print preview View:

16 results with digital objects Show results with digital objects

Estudo de AIA
Estudo de AIA
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA sobre dualidade entre C1 e C1
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
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. 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”
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
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 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
Estudo de AIA Silogística de Vasil'év
Estudo de AIA Silogística de Vasil'év
Rascunho Sobre os cálculos de predicados de Vasil'év
Rascunho Sobre os cálculos de predicados 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
Estudo de AIA sem título
Estudo de AIA sem título
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sobre a silogística de Vasil'év
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Tradução do artigo de Jean Dieudonné
Tradução do artigo de Jean Dieudonné
Gödel’s collected works (A.S.L. Project)
Gödel’s collected works (A.S.L. Project)
Teorias Recursivas, Creativas y Productivas
Teorias Recursivas, Creativas y Productivas
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
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
Tradução do artigo de Jean Leray
Tradução do artigo de Jean Leray
Une étude sémantique de quelques calculs propositionnels
Une étude sémantique de quelques calculs propositionnels
Estudo de Andréa Loparic
Estudo de Andréa Loparic
Projeto Sistemas de Bibliotecas da Unicam
Projeto Sistemas de Bibliotecas da Unicam
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Results 661 to 690 of 704