Advanced Search
Home > eBooks > Lecture Notes Logic > Gödel '96: Logical foundations of mathematics, computer science and physics---Kurt Gödel's legacy, Brno, Czech Republic, August 1996, proceedings > How to characterize provably total functions by the Buchholz operator method
Open Access
VOL. 6 | 1996 How to characterize provably total functions by the Buchholz operator method
Chapter Author(s) Benjamin Blankertz, Andreas Weiermann
Editor(s) Petr Hájek
Lecture Notes Logic, 1996: 205-213 (1996)
First Page PDF

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