Affichage de 1 résultats

Description archivistique
R.G. Jeroslow
Aperçu avant impression Hiérarchie
Card view Table view
Publicação
BR SPCLEARQ AIA_I_77 · Pièce · 1973
Fait partie de Ayda Ignez Arruda

JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.

 Sans titre