Mainzer Klaus – författare
Visar alla böcker från författaren Mainzer Klaus.
2 produkter
2 produkter
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Inbunden, Engelska, 2021
2 569 kr
Skickas inom 3-6 vardagar
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Inbunden, Engelska, 2018
1 959 kr
Skickas inom 3-6 vardagar