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

William M. Farmer

Preço
NZD 112,36

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 8 - 16 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 2023 edition

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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de janeiro de 2024
ISBN13 9783031211140
Editoras Birkhauser Verlag AG
Páginas 295
Dimensões 234 × 156 × 20 mm   ·   488 g
Idioma German