Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas Computer Science Foundations and Applied Logic Autor William M. Farmer 3 ian 2024 Paperback Preț: 429.90 lei 537.38 lei 6-8 săpt. -20%
