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 - 9783031211140 - 3 de enero de 2024
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 2023 edition

Precio
€ 57,49

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:

295 pages, 3 Illustrations, color; 7 Illustrations, black and white; XIV, 295 p. 10 illus., 3 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 3 de enero de 2024
ISBN13 9783031211140
Editores Birkhauser Verlag AG
Páginas 295
Dimensiones 234 × 156 × 20 mm   ·   488 g
Lengua Alemán