L'ordre d'incomplètitude pour le système d'équivalence la négation et la réciprocité.
Mihăilescu, Eugen
Notre Dame J. Formal Logic, Tome 10 (1969) no. 1, p. 425-451 / Harvested from Project Euclid
Publié le : 1969-10-14
Classification:  02.12
@article{1093893793,
     author = {Mih\u ailescu, Eugen},
     title = {L'ordre d'incompl\`etitude pour le syst\`eme d'\'equivalence la n\'egation et la r\'eciprocit\'e.},
     journal = {Notre Dame J. Formal Logic},
     volume = {10},
     number = {1},
     year = {1969},
     pages = { 425-451},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/1093893793}
}
Mihăilescu, Eugen. L'ordre d'incomplètitude pour le système d'équivalence la négation et la réciprocité.. Notre Dame J. Formal Logic, Tome 10 (1969) no. 1, pp.  425-451. http://gdmltest.u-ga.fr/item/1093893793/