Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Reasoning in Simple Type Theory

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

Christoph Benzmueller

Chad E. Brown

Joerg Siekmann

Limba

engleză

Carte Carte broșată

Codul Libristo: 08861631

Editura College Publications, decembrie 2008

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal p... Descrierea completă

Codul Libristo: 08861631

72 b

156.08 lei

În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Rozličné poznámky Ludwig Wittgenstein

Carte broșată

46.69 lei

Los Cuatro Jinetes del Apocalipsis Vicente Blasco Ibanez

Carte broșată

82.60 lei

Reconciliación Vera Lucia Marinzeck de Carvalho

Adobe ePub DRM

91.21 lei

Der logische Aufbau der Welt Rudolf Carnap

Carte broșată

113.84 lei

Les expressions françaises illustrées Bruneau

Carte broșată

75.02 lei

Bezpieczeństwo. Nowa akademia 4-latka Opracowanie zbiorowe

Carte broșată

5.80 lei

88 x Origami Kids Rainbow Fun Thade Precht

Carte broșată

47.73 lei

Filosofická zkoumání Ludwig Wittgenstein

Carte broșată

48.87 lei

Curiosidad : por qué todo nos interesa Philip Ball

Carte broșată

177.04 lei

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

Carte broșată

42.95 lei

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

Carte broșată

75.02 lei

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.