Media type: E-Book Title: Takeuti’s first-order theory of ordinals revisited Contributor: Schmitt, Peter H. [VerfasserIn] Corporation: Karlsruher Institut für Technologie, Fakultät für Informatik imprint: Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2018 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2018,2 Extent: 1 Online-Ressource (22 Seiten, 460,22 KB) Language: English DOI: 10.5445/IR/1000079415 Identifier: Keywords: Forschungsbericht Origination: Footnote: Access State: Open Access