Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Reasoning in Simple Type Theory

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

Christoph Benzmueller

Chad E. Brown

Joerg Siekmann

Lingua

Inglese

Libro In brossura

Codice Libristo: 08861631

Casa editrice College Publications, dicembre 2008

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal p... Descrizione completa

Codice Libristo: 08861631

80 b

32.79 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Rozličné poznámky Ludwig Wittgenstein

In brossura

9.29 €

Los Cuatro Jinetes del Apocalipsis Vicente Blasco Ibanez

In brossura

15.59 €

Reconciliación Vera Lucia Marinzeck de Carvalho

Adobe ePub DRM

18.09 €

Der logische Aufbau der Welt Rudolf Carnap

In brossura

21.49 €

Les expressions françaises illustrées Bruneau

In brossura

14.69 €

Bezpieczeństwo. Nowa akademia 4-latka Opracowanie zbiorowe

In brossura

1.19 €

88 x Origami Kids Rainbow Fun Thade Precht

In brossura

8.99 €

Filosofická zkoumání Ludwig Wittgenstein

In brossura

9.79 €

Curiosidad : por qué todo nos interesa Philip Ball

In brossura

33.49 €

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

In brossura

8.09 €

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

In brossura

14.19 €

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.