Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 14560 Editat de Venanzio Capretta et al. 24 mai 2024 Paperback Preț: 784.27 lei 980.34 lei 3-5 săpt. -20%