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ț: 732.92 lei 916.16 lei Indisponibil temporar -20%