Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
- BR SPCLEARQ FAIA-PIm-V-IT373
- Item
Part of Ayda Ignez Arruda
Untitled
1731 results with digital objects Show results with digital objects
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Part of Ayda Ignez Arruda
Untitled
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Part of Ayda Ignez Arruda
Untitled
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Part of Ayda Ignez Arruda
Untitled
N.A. Vasilév: a forerunner of Paraconsistent Logic
Part of Ayda Ignez Arruda
Untitled
N.A. Vasilév: a forerunner of Paraconsistent Logic
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Silogística de Vasil'év
Part of Ayda Ignez Arruda
Untitled
Rascunho Sobre os cálculos de predicados de Vasil'év
Part of Ayda Ignez Arruda
Untitled
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA sobre a silogística de Vasil'év
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 Desenvolvimento de C1
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA, Sobre a Lógica da Vaguidade
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA sobre dualidade entre C1 e C1
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Cálculo de predicados de ordem superior
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Capítulo I: Cálculo Proposicional
Part of Ayda Ignez Arruda
Untitled
Capítulo II: Cálculo Proposicional
Part of Ayda Ignez Arruda
Untitled
Decidibilidade do cálculo implicativo clássico
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
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Várias axiomáticas para o cálculo proposicional clássico
Part of Ayda Ignez Arruda
Untitled