Proof theory (arithmetic and analysis)
Itogi Nauki i Tekhniki. Seriya Algebra. Geometriya. Topologiya, Itogi Nauki i Tekhniki. Seriya "Algebra. Topologiya. Geometriya", Tome 13 (1975), pp. 5-49
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{INTA_1975_13_a0,
author = {G. E. Mints},
title = {Proof theory (arithmetic and analysis)},
journal = {Itogi Nauki i Tekhniki. Seriya Algebra. Geometriya. Topologiya},
pages = {5--49},
year = {1975},
volume = {13},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/INTA_1975_13_a0/}
}
G. E. Mints. Proof theory (arithmetic and analysis). Itogi Nauki i Tekhniki. Seriya Algebra. Geometriya. Topologiya, Itogi Nauki i Tekhniki. Seriya "Algebra. Topologiya. Geometriya", Tome 13 (1975), pp. 5-49. http://geodesic.mathdoc.fr/item/INTA_1975_13_a0/