Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Reasoning in Simple Type Theory

Festschrift in Honor of Peter B. Andrews on His 70th Birthday

Christoph Benzmueller

Chad E. Brown

Joerg Siekmann

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 08861631

Nakladateľstvo College Publications, december 2008

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal p... Celý popis

Libristo kód: 08861631

72 b

29.75 €

Skladom u dodávateľa Odosielame za 10-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Rozličné poznámky Ludwig Wittgenstein

Brožovaná

8.66 €

Weißbuch datengestützte Qualitätssicherung im Gesundheitswesen MBA Claus-Dieter Heidecke

Brožovaná

50.22 €

Filosofická zkoumání Ludwig Wittgenstein

Brožovaná

9.27 €

Reconciliación Vera Lucia Marinzeck de Carvalho

Adobe ePub DRM

17.54 €

Der logische Aufbau der Welt Rudolf Carnap

Brožovaná

20.47 €

Les expressions françaises illustrées Bruneau

Brožovaná

14.21 €

Bezpieczeństwo. Nowa akademia 4-latka Opracowanie zbiorowe

Brožovaná

1.10 €

88 x Origami Kids Rainbow Fun Thade Precht

Brožovaná

8.56 €

Los Cuatro Jinetes del Apocalipsis Vicente Blasco Ibanez

Brožovaná

14.21 €

Curiosidad : por qué todo nos interesa Philip Ball

Brožovaná

33.78 €

Qu'est-Ce Que La Question de la Pairie ? Arnoult-E

Brožovaná

12.40 €

Der Dreißigjährige Krieg Hans-Joachim Müller

Brožovaná

7.86 €

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. For the reprints we have chosen a paper by Alonzo Church (introducing his simple theory of types), a paper by Leon Henkin (proving completeness of Church's type theory relative to Henkin's semantics) and some of the most important papers by Peter Andrews. The new articles were contributed by Peter Andrews and his students and collaborators as well as a number of researchers his work has influenced. The volume intends to show the historical development of this important area of formal reasoning up to its current state of art and appears in honor of Peter Andrews on his 70th birthday.