Advanced Search
Home > eBooks > Lecture Notes Logic > Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 > The Higher Infinite in Proof Theory
Open Access
VOL. 11 | 1998 The Higher Infinite in Proof Theory
M. Rathjen

Editor(s) Johann A. Makowsky, Elena V. Ravve

Lecture Notes Logic, 1998: 275-304 (1998)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page
CHAPTER
 30 PAGES
DOWNLOAD PDF + SAVE TO MY LIBRARY
< Previous Chapter
|
Next Chapter >
Association for Symbolic Logic
Back to Top