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

von: Reinhard Kahle · Thomas Strahm · Thomas Studer

Gebunden

Details (Deutschland)
(siehe auch: Kindle Ausgabe)

Details (USA)
(siehe auch: eBook (Kindle))

Details (Großbritannien)
(siehe auch: eBook (Kindle))

Details (Kanada)
(siehe auch: eBook (Kindle))

ISBN: 978-3-319-29196-3

ISBN-10: 3-319-29196-3

Birkhäuser · 2016