Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy 3 contributors - Hardback £100.00 Find out more
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification 3 contributors - Hardback £135.00 Find out more