Carta de Diderik Batens para AIA
- BR SPCLEARQ FAIA-C-Cp-IT268
- Item
- 1982-04-19
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
Carta de Diderik Batens para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Diderik Batens para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Cartão de Francisco Xavier Caicedo para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de J.C. Kuipers para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício GR n. 329/83 de José Aristodemo Pinotti
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Nicola Grana para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Richard Routley para AIA
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Carta de Richard [Routley] para Newton C. A. da Costa
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Rascunho Sobre os cálculos de predicados de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA sobre a silogística de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a completude de C+
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo II: Cálculo Proposicional
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Capítulo I - Introdução aos Conceitos Fundamentais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos analisando vários aspectos da lógica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda