|
Bibliography | ||||
PREV NEXT | FRAMES NO FRAME |
Koh:96a (Article) | |
Author(s) | Kohlenbach, Ulrich |
Title | « Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals » |
Journal | Arch. Math. Logic |
Volume | 36 |
Page(s) | 31--71 |
Year | 1996 |
BibTeX code |
|
|
Bibliography | ||||
PREV NEXT | FRAMES NO FRAME |
This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)