|
Bibliography | ||||
PREV NEXT | FRAMES NO FRAME |
Koh:98e (In proceedings) | |
Author(s) | Kohlenbach, Ulrich |
Title | « Arithmetizing proofs in analysis » |
In | Proceeedings of the Logic Colloquium'96 |
Series | Lecture Notes in Logic |
Editor(s) | Larrazabal, J.M. and Lascar, D. and Mints, G. |
Page(s) | 115--158 |
Year | 1998 |
Publisher | Springerverlag |
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)