Capa do artigo Simple Type Theory

Simple Type Theory

A Practical Logic For Expressing And Reasoning About Mathematical Ideas

de William M. Farmer
idioma: inglês
Editor: BIRKHAUSER VERLAG AG, Janeiro de 2024 ‧
ESGOTADO OU NÃO DISPONÍVEL
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: 9783031211140
Editor: BIRKHAUSER VERLAG AG
Data de Lançamento: Janeiro de 2024
Idioma: Inglês
Dimensões: 157 x 234 x 16 mm
Encadernação: Capa mole
Páginas: 295
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
Livros em Inglês > Outros
EAN: 9783031211140

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

WILLIAM M. FARMER

VER MAIS TÍTULOS DESTE AUTOR

QUEM COMPROU TAMBÉM COMPROU