Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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

Nakladatelství College Publications, prosinec 2008

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

Libristo kód: 08861631

68 b

682 Kč

Skladem u dodavatele Odesíláme za 10-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Rozličné poznámky Ludwig Wittgenstein

Brožovaná

201 Kč

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

Brožovaná

1 213 Kč

ERVAS QUE CURAM DIDA OLIVEIRA

Adobe ePub DRM

85 Kč

Reconciliación Vera Lucia Marinzeck de Carvalho

Adobe ePub DRM

423 Kč

Der logische Aufbau der Welt Rudolf Carnap

Brožovaná

469 Kč

Les expressions françaises illustrées Bruneau

Brožovaná

337 Kč

Bezpieczeństwo. Nowa akademia 4-latka Opracowanie zbiorowe

Brožovaná

27 Kč

Los Cuatro Jinetes del Apocalipsis Vicente Blasco Ibanez

Brožovaná

345 Kč

88 x Origami Kids Rainbow Fun Thade Precht

Brožovaná

195 Kč

Gefrorenes Herz Stine Bolther

Digital

368 Kč

Filosofická zkoumání Ludwig Wittgenstein

Brožovaná

234 Kč

Věda a diplomacie Pierre-Bruno Ruffini

Brožovaná

269 Kč

Curiosidad : por qué todo nos interesa Philip Ball

Brožovaná

818 Kč

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

Brožovaná

284 Kč

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

Brožovaná

181 Kč

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.