Search result
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
English
31.08.2021
Hardback
Fr. 219.00
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
English
30.07.2018
Hardback
Fr. 165.00