Kahle, Reinhard (Hrsg.)
Strahm, Thomas (Hrsg.)
Studer, Thomas (Hrsg.)
Advances in Proof Theory

Beschreibung
Produktdetails
ISBN/GTIN | 978-3-319-29198-7 |
---|---|
Seitenzahl | 425 S. |
Kopierschutz | mit Wasserzeichen |
Dateigröße | 11637 Kbytes |