Advances in Proof Theory (Progress in Computer Science and Applied Logic, Band 28)

Computer

von: Reinhard Kahle · Thomas Strahm · Thomas Studer

Taschenbuch

ISBN: 978-3-319-80513-9

ISBN-10: 3-319-80513-4

Birkhäuser · 2018

S. auch:
2016Gebundene AusgabeAdvances in Proof Theory (Progress in Computer Science and Applied Logic, Band 28)