Fairouz D. Kamareddine
A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series Fairouz D. Kamareddine 2004 edition

Name: A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series
Price: 182.99 EUR
Availability: OutOfStock
Author: Fairouz D. Kamareddine

Cena

€ 182,99

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

Paredzamā piegāde . gada 22. - 30. sept.

Saņemiet paziņojumus par jauniem Fairouz D. Kamareddine izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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ā:

Paperback Book

1st Ed. Softcover of Orig. Ed. 2004 edition

(2010) € 132,99

A Modern Perspective on Type Theory: from Its Origins Until Today - Applied Logic Series

Fairouz D. Kamareddine

2004 edition

Provides an overview of type theory. This title places historical systems in the modern setting. It deals with modern type theory as it developed since the 1940s, and with the role of propositions as types or proofs as terms. It proposes systems that bring more advantages together.

360 pages, biography

Mediji	Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku)
Izlaists	2004. gada 9. jūnijs
ISBN13	9781402023347
Izdevēji	Springer-Verlag New York Inc.
Lapas	360
Izmēri	155 × 235 × 22 mm · 707 g
Valoda	Angļu