Proof Assistants and Their Applications in Mathematics and Computer Science Editat de Assia Mahboubi et al. 12 feb 2026 Hardback Preț: 465.33 lei 560.64 lei Nepublicat încă -17% Precomandă