Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
Peter Michael Schuster, Schuster948,41 DKK
Innovative Teaching: Best Practices From Business And Beyond For Mathematics Teachers
Alfred S Posamentier, Posamentier223,05 DKK
Science Of Learning Mathematical Proofs, The: An Introductory Course
Elana Reiser, Reiser223,05 DKK
Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
Qi Feng, Feng317,82 DKK
Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Justus Diller, Diller583,01 DKK
Nonlinear Dynamics Perspective Of Wolfram's New Kind Of Science, A (Volume V)
Leon O Chua, Chua509,93 DKK