Review of Grigorii E. Mints, Selected papers in Proof Theory
Anellis, Irving H.
Mod. Log., Tome 6 (1996) no. 1, p. 227-231 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1996-04-15
Classification:  
@article{1204835692,
     author = {Anellis, Irving H.},
     title = {Review of Grigorii E. Mints, Selected papers in Proof Theory},
     journal = {Mod. Log.},
     volume = {6},
     number = {1},
     year = {1996},
     pages = { 227-231},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1204835692}
}

Anellis, Irving H. Review of Grigorii E. Mints, Selected papers in Proof Theory. Mod. Log., Tome 6 (1996) no. 1, pp.  227-231. http://gdmltest.u-ga.fr/item/1204835692/