- BR SPCLEARQ FAIA-PIm-EL-IT420
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.
Untitled
Showing 261 results
Archival description2 results with digital objects Show results with digital objects
Sistemas formais inconsistentes e teorias de conjuntos
- BR SPCLEARQ FAIA-PIm-EL-IT421
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT422
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.
Untitled
Sobre Certos Sistemas de Lógica Relevante
- BR SPCLEARQ FAIA-PIm-EL-IT423
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT424
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT425
- Item
Part of Ayda Ignez Arruda
Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.
Untitled
Teorema da Dedução para Teorias de Primeira Ordem
- BR SPCLEARQ FAIA-PIm-EL-IT426
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.
Untitled
Teorema de Completude para teorias de primeira ordem
- BR SPCLEARQ FAIA-PIm-EL-IT427
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.
Untitled
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
- BR SPCLEARQ FAIA-PIm-EL-IT428
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.
Untitled
- BR SPCLEARQ FAIA-PIm-EL-IT429
- Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.
Untitled
Notas para a História da Lógica, História, e Variedades da Lógica
- BR SPCLEARQ FAIA-PIm-EL-IT430
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms.
Untitled
Estudos analisando vários aspectos da lógica
- BR SPCLEARQ FAIA-PIm-EL-IT431
- Item
- 1975-09-05
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.
Untitled
Estudos contendo tópicos sobre axiomas
- BR SPCLEARQ FAIA-PIm-EL-IT432
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.
Untitled
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
- BR SPCLEARQ FAIA-PIm-EL-IT433
- Item
- 1976-08-29
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.
Untitled
Caderno contendo anotações sobre lógicas relevante
- BR SPCLEARQ FAIA-PIm-EL-IT434
- Item
- 1976-09-16 - 1976-10-07
Part of Ayda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Untitled
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
- BR SPCLEARQ FAIA-PIm-EL-IT435
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, tratando sobre sistemas lógicos sem a regra do modus ponens. S.l., S.d. S.ass. 12p. ms.
Untitled
Estudo sobre a regra do modus ponens
- BR SPCLEARQ FAIA-PIm-EL-IT436
- Item
Part of Ayda Ignez Arruda
Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.
Untitled
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
- BR SPCLEARQ FAIA-PIm-EL-IT437
- Item
- 1974-12-05 - 1975-12-09
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Untitled
Teoria de Conjuntos R e cálculos diversos
- BR SPCLEARQ FAIA-PIm-EL-IT438
- Item
Part of Ayda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.
Untitled
Estudo contendo demonstrações de vários teoremas
- BR SPCLEARQ FAIA-PIm-EL-IT439
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.
Untitled
Estudo contendo vários teoremas
- BR SPCLEARQ FAIA-PIm-EL-IT440
- Item
Part of Ayda Ignez Arruda
Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.
Untitled
Results 241 to 261 of 261