Capa do artigo Twenty Five Years Of Constructive Type Theory
10% OFF

Twenty Five Years Of Constructive Type Theory eBook

by Jan M. Smith e Giovanni Sambin
language: english
Publisher: CLARENDON PRESS, October of 1998 ‧
84,79€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

Twenty Five Years Of Constructive Type Theory

by Jan M. Smith e Giovanni Sambin

Property Description
ISBN: 9780191589034
Publisher: CLARENDON PRESS
Release Date: October of 1998
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Oxford Logic Guides
Categories: eBooks in English > Science > Mathematics
EAN: 9780191589034

BOOKS FROM THE SAME COLLECTION

SEE MORE TITLES FROM THIS COLLECTION