10% de desconto

Type Theory And Formal Proof eBook

An Introduction

de Herman Geuvers e Rob Nederpelt
idioma: inglês
Editor: CAMBRIDGE UNIVERSITY PRESS, novembro de 2014 ‧
98,05€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.

Type Theory And Formal Proof

An Introduction

de Herman Geuvers e Rob Nederpelt

Propriedade Descrição
ISBN: 9781316053980
Editor: CAMBRIDGE UNIVERSITY PRESS
Data de Lançamento: novembro de 2014
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9781316053980
Acessibilidade: Ver características de acessibilidade indicadas pelo editor