Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arrudas.l.
3440 Descrição arquivística resultados para s.l.
Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez ArrudaEstudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez ArrudaEstudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda