From Proof Theory and Univalent Mathematics to Program Extraction and Verification
eBook Download (EPUB)
2021
|
World Scientific Publishing..
ISBN: 9789811236495
129,99 € (inkl. MwSt)
- Download sofort lieferbar