Media type: E-Book Title: A first-order theory of ordinals 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, 2017 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2017,6 Extent: 1 Online-Ressource (34 Seiten, 638,21 KB) Language: English DOI: 10.5445/IR/1000068623 Identifier: Keywords: Forschungsbericht Origination: Footnote: Literaturverzeichnis: Seite 34 Access State: Open Access