![]() |
von: Reinhard Kahle · Thomas Strahm · Thomas StuderTaschenbuch Details (Deutschland) Details (United States) Details (Großbritannien) Details (Kanada) ISBN: 978-3-319-80513-9 ISBN-10: 3-319-80513-4 Birkhäuser · 2018 |
S. auch: | ||
2016 | Gebundene Ausgabe | Advances in Proof Theory (Progress in Computer Science and Applied Logic, Band 28) |