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
Löwe/Rosenberg. Die Strafprozeßordnung und das Ger - Band 9/1: §§ 359-373a
German
01.01.2022
Hardback
Sold out