Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas - Computer Science Foundations and Applied Logic - William M. Farmer - Livros - Birkhauser Verlag AG - 9783031853517 - 24 de abril de 2025
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
€ 72,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 1 - 9 de jan de 2026
Presentes de Natal podem ser trocados até 31 de janeiro
Adicione à sua lista de desejos do iMusic

Também disponível como:

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 24 de abril de 2025
ISBN13 9783031853517
Editoras Birkhauser Verlag AG
Páginas 319
Dimensões 161 × 244 × 26 mm   ·   646 g
Idioma Alemão