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

William M. Farmer

Preço
元 568
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 3 - 9 de jul
Adicione à sua lista de desejos do iMusic

Também disponível como:

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

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 666 g
Idioma German