Review: Gaisi Takeuti, Proof theory
Feferman, Solomon
Bull. Amer. Math. Soc., Tome 83 (1977) no. 6, p. 351-361 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-05-14
Classification:  
@article{1183538791,
     author = {Feferman, Solomon},
     title = {Review: Gaisi Takeuti, Proof theory},
     journal = {Bull. Amer. Math. Soc.},
     volume = {83},
     number = {6},
     year = {1977},
     pages = { 351-361},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183538791}
}

Feferman, Solomon. Review: Gaisi Takeuti, Proof theory. Bull. Amer. Math. Soc., Tome 83 (1977) no. 6, pp.  351-361. http://gdmltest.u-ga.fr/item/1183538791/