BR SPSIARQ AMA SETTE_PC_003
·
Item
·
08.10.1973
Parte de Antonio Mário Antunes Sette
32 resultados com objetos digitais
Exibir resultados com objetos digitais
BR SPSIARQ AMA SETTE_PC_005
·
Item
·
03.03.1975
Parte de Antonio Mário Antunes Sette
De acordo com o autor: "Dans on étudie quelques conditions sur M pour que la théorie forcée M. soi saturée. On donne ici quelques conditions (sur M) pour que la théorie M soit [?]-catégorique. Em particulier on montre que Q est [?] catégorique et que ne l'ést pas."
Diretoria Geral de Recursos Humanos
BR SPSIARQ AY_PC_003
·
Item
·
1964
Parte de Ayda Ignez Arruda
On gén´´eralise un théorème de Hilbert et Bernays relatif aux k-transformées d'une formule du calcul des prédicats.
Diretoria Geral de Recursos Humanos
BR SPSIARQ AY_PC_004
·
Item
·
1964
Parte de Ayda Ignez Arruda
On étudie certaines propriétés d'une hiérarchie de sytèmes formels, NFo, NF1,..., NFn,..., NF(t), le premier étant le système NF de Quine et les autres systèmes inconsistants, mais apparemment non trviaux.
Diretoria Geral de Recursos Humanos
BR SPAEL PSP_F/07261
·
Item
·
[19--?]
Parte de Paulo Sergio Pinheiro
Os debates de Cercles Conbdorcet. 24 p.
Doação recebida em Outubro de 2010.
BR SPCEDAE APA_I_1_2_00145
·
Item
·
25 jun. 1966.
Parte de Abílio Pereira de Almeida
BR SPCEDAE APA_I_1_2_00147 - 00149
·
Item
·
12 ago. 1966 - 23 abr. 1967.
Parte de Abílio Pereira de Almeida
Em anexo: envelopes.