A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series - Fairouz D. Kamareddine - Grāmatas - Springer - 9789048166398 - 2010. gada 22. oktobris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 2004 edition

Cena
€ 132,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 16. - 24. sept.
Saņemiet paziņojumus par jauniem Fairouz D. Kamareddine izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern type theory as it developed since the 1940s, and with the role of propositions as types (or proofs as terms. The third part proposes new systems that bring more advantages together.

374 pages, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2010. gada 22. oktobris
ISBN13 9789048166398
Izdevēji Springer
Lapas 374
Izmēri 156 × 234 × 19 mm   ·   526 g
Valoda Angļu  

Vairāk no tā paša izdevēja

Skatīt visus Fairouz D. Kamareddine