Open Access
VOL. 12 | 1998 Arithmetizing proofs in analysis
Ulrich Kohlenbach

Editor(s) J. M. Larrazabal, D. Lascar, G. Mints

Lecture Notes Logic, 1998: 115-158 (1998)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Back to Top