Search result
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
English
31.08.2021
Hardback
Fr. 220.00
Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!
Top service and free shipping since 1997