10% OFF

Formal Semantics In Modern Type Theories eBook

by Stergios Chatzikyriakidis e Zhaohui Luo
language: english
Publisher: WILEY, December of 2020 ‧
184,11€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for 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

by Stergios Chatzikyriakidis e Zhaohui Luo

Property Description
ISBN: 9781119489214
Publisher: WILEY
Release Date: December of 2020
Language: English
Format: eBook
File Format and Compatibility:
Categories: eBooks in English > Parenting > Technical Education
EAN: 9781119489214
Acessibilidade: Ver características de acessibilidade indicadas pelo editor