Peter Michael Schuster – författare
Visar alla böcker från författaren Peter Michael Schuster. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Inbunden, Engelska, 2021
2 639 kr
Skickas inom 3-6 vardagar
2 639 kr
Skickas inom 3-6 vardagar
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
Inbunden, Engelska, 2018
2 009 kr
Skickas inom 3-6 vardagar