Vicente, Luciano
Résultats: Montrant 2 de 2 à l'page 1 de 1
<<< Début << Précédent 1 Suivant >> Fin >>>
Nom
Titre
Domaine
Document
Unité
Année
Partial truth definitions and accumulation systems in formal arithmetic
A proof of incompleteness for arithmetic by means of the Theorem of the Definion...
<<< Début << Précédent 1 Suivant >> Fin >>>
Résultats: Montrant 2 de 2 à l'page 1 de 1