10% de desconto

Simple Type Theory

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

de William M. Farmer
Livro eBook
idioma: inglês
Editor: BIRKHAUSER VERLAG AG, abril de 2025 ‧
94,62€
85,16€
10% DESCONTO IMEDIATO
portes grátis
Venda o seu livro

Simple Type Theory

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

de William M. Farmer

Propriedade Descrição
ISBN: 9783031853517
Editor: BIRKHAUSER VERLAG AG
Data de Lançamento: abril de 2025
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa dura
Páginas: 319
Tipo de produto: Livro
Coleção: Computer Science Foundations And Applied Logic
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783031853517

LIVROS DA MESMA COLEÇÃO