Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 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

Language

English

Book Paperback

Libristo code: 08861631

Publishers College Publications, December 2008

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

Libristo code: 08861631

76 b

31.44 €

In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

Customers also purchased

Rozličné poznámky Ludwig Wittgenstein

Paperback

8.89 €

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

Paperback

50.35 €

Filosofická zkoumání Ludwig Wittgenstein

Paperback

9.29 €

Reconciliación Vera Lucia Marinzeck de Carvalho

Adobe ePub DRM

17.58 €

Der logische Aufbau der Welt Rudolf Carnap

Paperback

20.52 €

Les expressions françaises illustrées Bruneau

Paperback

14.25 €

Bezpieczeństwo. Nowa akademia 4-latka Opracowanie zbiorowe

Paperback

1.10 €

88 x Origami Kids Rainbow Fun Thade Precht

Paperback

8.58 €

Los Cuatro Jinetes del Apocalipsis Vicente Blasco Ibanez

Paperback

15.06 €

Curiosidad : por qué todo nos interesa Philip Ball

Paperback

33.86 €

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

Paperback

13.13 €

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

Paperback

7.88 €

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.