Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification - Schuster Peter Michael Schuster - E-bok | Bokus