Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Reasoning in Simple Type Theory

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

Christoph Benzmueller

Chad E. Brown

Joerg Siekmann

Sprache

Englisch

Buch Broschur

Libristo-Code: 08861631

Verlag College Publications, Dezember 2008

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal p... Vollständige Beschreibung

Libristo-Code: 08861631

80 b

33.09 €

Externes Lager Wir versenden in 10-18 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Rozličné poznámky Ludwig Wittgenstein

Broschur

8.87 €

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

Broschur

50.24 €

Filosofická zkoumání Ludwig Wittgenstein

Broschur

9.27 €

Reconciliación Vera Lucia Marinzeck de Carvalho

Adobe ePub DRM

17.35 €

Der logische Aufbau der Welt Rudolf Carnap

Broschur

20.47 €

Les expressions françaises illustrées Bruneau

Broschur

14.22 €

Bezpieczeństwo. Nowa akademia 4-latka Opracowanie zbiorowe

Broschur

1.10 €

88 x Origami Kids Rainbow Fun Thade Precht

Broschur

8.57 €

Los Cuatro Jinetes del Apocalipsis Vicente Blasco Ibanez

Broschur

15.73 €

Curiosidad : por qué todo nos interesa Philip Ball

Broschur

33.79 €

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

Broschur

13.71 €

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

Broschur

7.86 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Reasoning in Simple Type Theory

Autor Christoph Benzmueller, Chad E. Brown, Joerg Siekmann

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 480

EAN 9781904987703

ISBN 9781904987703

Libristo-Code 08861631

Verlag College Publications

Gewicht 708

Abmessungen 155 x 232 x 27

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert