A first-order theory of ordinals / Peter H. Schmitt ; edited by Karlsruhe Institute of Technology, Faculty of Informatics
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Karlsruher Institut für Technologie. Karlsruhe reports in informatics ; 2017, 6Verlag: Karlsruhe : KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2017Beschreibung: 1 Online-Ressource (34 Seiten, 638,21 KB)Genre/Form: DOI: DOI: 10.5445/IR/1000068623Online-Ressourcen: PPN: PPN: 1657439852Dieser Titel hat keine Exemplare