Carta de Bernd Wegner para AIA
Carta de Bernd Wegner para AIA
Carta de Augusto J. Franco de Oliveira para AIA
Carta de Augusto J. Franco de Oliveira para AIA
Carta de Antonio Conde para AIA
Carta de Antonio Conde para AIA
Carta de Anil Nerode para AIA
Carta de Anil Nerode para AIA
Carta de Angus Macintyre para AIA
Carta de Angus Macintyre para AIA
Carta de Andrés Raggio para AIA
Carta de Andrés Raggio para AIA
Carta de Andrés Raggio para AIA
Carta de Andrés Raggio para AIA
Carta de Andrés Raggio para AIA
Carta de Andrés Raggio para AIA
Carta de Alexandre A. Martins Rodrigues para AIA
Carta de Alexandre A. Martins Rodrigues para AIA
Rascunho de AIA
Rascunho de AIA
Ofício GR 985/83
Ofício GR 985/83
Ofício GR 870/83
Ofício GR 870/83
Ofício C.V.47/00119
Ofício C.V.47/00119
Ofício C.V.47/00118
Ofício C.V.47/00118
Ofício C.V.47/00117
Ofício C.V.47/00117
Ofício C.V.47/00116
Ofício C.V.47/00116
Processo 1234/81
Processo 1234/81
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Estudo contendo vários teoremas
Estudo contendo vários teoremas
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
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
Estudo sobre a regra do modus ponens
Estudo sobre a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Unidade de opostos
Unidade de opostos
