Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Libros - Birkhauser Verlag AG - 9783031853517 - 24 de abril de 2025
En caso de que portada y título no coincidan, el título será el correcto

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic Second Edition 2025 edition

Precio
€ 70,99

Pedido desde almacén remoto

Entrega prevista 8 - 16 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Añadir a tu lista de deseos de iMusic

También disponible como:

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 24 de abril de 2025
ISBN13 9783031853517
Editores Birkhauser Verlag AG
Páginas 319
Dimensiones 161 × 244 × 26 mm   ·   646 g
Lengua Alemán