BR SPSIARQ AY_PC_004
·
Pièce
·
1964
Fait partie 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.
Sans titre