Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.
Untitleds.l.
3440 Archival description results for s.l.
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.
UntitledEstudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.
UntitledEstudo 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.
UntitledEstudo 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.
UntitledEstudo 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.
UntitledCaderno 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.
UntitledEstudo 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.
UntitledEstudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.
UntitledEstudo 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