10% de desconto

Formal Semantics In Modern Type Theories eBook

de Stergios Chatzikyriakidis e Zhaohui Luo
idioma: inglês
Editor: WILEY, dezembro de 2020 ‧
184,11€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
Modern Type Theories (MTTs), (type theories within the tradition of Martin-Lof,) have been shown to be a serious alternative to set theory in the study of mathematical foundations and have been furthermore shown to be the most suited logical languages to perform reasoning tasks.

Formal Semantics In Modern Type Theories

de Stergios Chatzikyriakidis e Zhaohui Luo

Propriedade Descrição
ISBN: 9781119489214
Editor: WILEY
Data de Lançamento: dezembro de 2020
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Classificação Temática: eBooks em Inglês > Ensino e Educação > Ensino Técnico
EAN: 9781119489214
Acessibilidade: Ver características de acessibilidade indicadas pelo editor