Над 10 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

History and Philosophy of Constructive Type Theory

Name: History and Philosophy of Constructive Type Theory
Brand: Springer
SKU: 05322537
Price: 161.68 EUR
Availability: InStock
Author: Giovanni Sommaruga
ISBN: 9789048154036

Giovanni Sommaruga

Език

Английски език

Книга С меки корици

Код Либристо: 05322537

Издателство Springer, декември 2010

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have on... Цялото описание

Код Либристо: 05322537

394 b

161.68 €

316.21 лв

Външен склад Изпращаме след 5-8 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Descrizione della fedelissima citta e porto-franco di Trieste Girolamo Agapito

С меки корици

12.07 € 23.61 лв

PAJ. 4 Acogida ADSIS

С меки корици

25.69 € 50.25 лв

Morderstwa i woń migdałów Camilla Läckberg

С твърди корици

11.15 € 21.80 лв

Sakamoto Days - Tome 15 Yuto Suzuki

С меки корици

10.12 € 19.79 лв

True Story? Good Question! Julia Garschagen

Adobe ePub DRM

13.77 € 26.94 лв

Se una notte d'inverno un viaggiatore Italo Calvino

С меки корици

18.34 € 35.87 лв

Die Freihandelsverhandlungen zwischen dem MERCOSUR und der EU Dominik Heck

С меки корици

17.01 € 33.26 лв

LA SERPIENTE Y LA LANZA 02 HUB

С меки корици

33.09 € 64.72 лв

Karu Mudhal Kuzhandhai Varai &#2975&#3006&#2965&#3021&#2975&#2992&#30

С меки корици

21.68 € 42.41 лв

TRADICION CLASICA EN ESPAÑA, LA GONZALEZ ROLAN

Книга

23.07 € 45.12 лв

auxiliars d¿infermeria atenció especialitzada de l¿institut català de la salut - tècnic/a especialis Editorial Mad

binding.

56.78 € 111.06 лв

SANAA (I) 2015 / 2020 Jamie Benyei

С меки корици

85.67 € 167.55 лв

Plasma Termico para tratamento de rejeitos radioativos E.S.P Prado

С меки корици

37.51 € 73.37 лв

Diagnostik Der Krankheiten Der Verdauungsorgane Hans Leo

С меки корици

25.49 € 49.85 лв

Blockchain: Der Vollständige Leitfaden Zum Verständnis Der Blockchain-Technologie Miles Price

С меки корици

16.34 € 31.95 лв

Livro para Colorir de Ônibus Nick Snels

С меки корици

10.53 € 20.60 лв

Neues Jahrbuch Für Mineralogie, Geologie Und Paläontologie, Volume 2; volume 1906 Anonymous

С меки корици

37.10 € 72.56 лв

Historia ilustrada del armamento Chuck Wills

С меки корици

24.56 € 48.04 лв

Ja sam Króliczek 2-latek Horosin Anna

С меки корици

2.82 € 5.52 лв

A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Löf at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book.§Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory.