Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
- BR SPCLEARQ FAIA-PIm-V-IT374
- Item
Part of Ayda Ignez Arruda
Untitled
19 results with digital objects Show results with digital objects
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Part of Ayda Ignez Arruda
Untitled
N.A. Vasilév: a forerunner of Paraconsistent Logic
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Silogística de Vasil'év
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Capítulo I: Os Cálculos Cn
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA sobre dualidade entre C1 e C1
Part of Ayda Ignez Arruda
Untitled
Cálculo de predicados de ordem superior
Part of Ayda Ignez Arruda
Untitled
Decidibilidade do cálculo implicativo clássico
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Aspects of the Historical Development of Paraconsistent Logic
Part of Ayda Ignez Arruda
Untitled
Abstract da palestra Implicative Systems and Modus Ponens Rule
Part of Ayda Ignez Arruda
Untitled
Observações sobre os sistemas NFi
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Teorema da Dedução para Teorias de Primeira Ordem
Part of Ayda Ignez Arruda
Untitled
Estudos contendo tópicos sobre axiomas
Part of Ayda Ignez Arruda
Untitled
Caderno contendo anotações sobre lógicas relevante
Part of Ayda Ignez Arruda
Untitled
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Part of Ayda Ignez Arruda
Untitled
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Part of Ayda Ignez Arruda
Untitled
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Part of Ayda Ignez Arruda
Untitled
Tradução do artigo de Jean Dieudonné
Part of Ayda Ignez Arruda
Untitled
Gödel’s collected works (A.S.L. Project)
Part of Ayda Ignez Arruda
Untitled
Tradução do artigo de Jean Leray
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Projeto Sistemas de Bibliotecas da Unicam
Part of Ayda Ignez Arruda
Untitled
Las concepciones logicas de N.A. Vasil’év
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Lógica Imaginária (Não-Aristotélica)
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Untitled