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