Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis
Pfeiffer, Helmut
J. Symbolic Logic, Tome 59 (1994) no. 1, p. 668-670 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1994-06-14
Classification:  
@article{1183744507,
     author = {Pfeiffer, Helmut},
     title = {Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis},
     journal = {J. Symbolic Logic},
     volume = {59},
     number = {1},
     year = {1994},
     pages = { 668-670},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744507}
}

Pfeiffer, Helmut. Review: Wilfried Buchholz, Wolfram Pohlers, Wilfried Sieg, Iterated Inductive Definitions and Subsystems of Analysis. J. Symbolic Logic, Tome 59 (1994) no. 1, pp.  668-670. http://gdmltest.u-ga.fr/item/1183744507/