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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

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

80 b

32.79 € VAT included

In stock at our supplier Shipping in 10-18 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Rozličné poznámky Ludwig Wittgenstein

Paperback

9.29 €

Los Cuatro Jinetes del Apocalipsis Vicente Blasco Ibanez

Paperback

15.59 €

Reconciliación Vera Lucia Marinzeck de Carvalho

Adobe ePub DRM

18.09 €

Der logische Aufbau der Welt Rudolf Carnap

Paperback

22.90 €

Les expressions françaises illustrées Bruneau

Paperback

14.79 €

Bezpieczeństwo. Nowa akademia 4-latka Opracowanie zbiorowe

Paperback

1.19 €

88 x Origami Kids Rainbow Fun Thade Precht

Paperback

10.00 €

Filosofická zkoumání Ludwig Wittgenstein

Paperback

9.79 €

Curiosidad : por qué todo nos interesa Philip Ball

Paperback

35.09 €

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

Paperback

8.09 €

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

Paperback

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.