Sur l’ensemble R dans NFw
Adicionar a área de transferência
Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.
Ayda Ignez Arruda
Sobre o Sistema G1 de Gentzen
Adicionar a área de transferência
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Ayda Ignez Arruda
Sobre a regra do Modus Ponens
Adicionar a área de transferência
Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Sistema DL
Adicionar a área de transferência
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arruda
Semântica para D1
Adicionar a área de transferência
Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Observações sobre os sistemas NFi
Adicionar a área de transferência
Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arruda
O sistema A de Ackermann
Adicionar a área de transferência
Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Lógicas de conceitos inexatos
Adicionar a área de transferência
Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
Linguagem de Primeira Ordem
Adicionar a área de transferência
Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.
Ayda Ignez Arruda
Abstract da palestra Implicative Systems and Modus Ponens Rule
Adicionar a área de transferência
Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.
Ayda Ignez Arruda
Capítulo I - Introdução aos Conceitos Fundamentais
Adicionar a área de transferência
Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.
Ayda Ignez Arruda
Cálculos Implicativos Gerais
Adicionar a área de transferência
Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
A teoria de primeira ordem v
Adicionar a área de transferência
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Artigo cálculos proposicionais
Adicionar a área de transferência
Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.
Ayda Ignez Arruda
Matrizes
Adicionar a área de transferência
Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Introdução: 3 – Matrizes
Adicionar a área de transferência
Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Independência de axiomas
Adicionar a área de transferência
Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Função de verdade e matrizes
Adicionar a área de transferência
Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Capítulo II: Cálculo Proposicional
Adicionar a área de transferência
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Capítulo I: Cálculo Proposicional
Adicionar a área de transferência
Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Cálculo Proposicional
Adicionar a área de transferência
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
