Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas Computer Science Foundations and Applied Logic Autor William M. Farmer 2 ian 2023 Hardback Preț: 572.64 lei 715.79 lei 3-5 săpt. -20%
