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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic, Meaning and Computation

Name: Logic, Meaning and Computation
Brand: Springer-Verlag New York Inc.
SKU: 05255879
Price: 173.59 EUR
Availability: InStock
Author: C. Anthony Anderson
ISBN: 9781402001413

Essays in Memory of Alonzo Church

C. Anthony Anderson

Michael Zeleny

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05255879

Verlag Springer-Verlag New York Inc., Januar 2002

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles... Vollständige Beschreibung

Libristo-Code: 05255879

425 b

173.59 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Jedině ty Karla Sorensen

Broschur

13.69 €

Love Redesigned - Felújított szerelem Lauren Asher

Hardcover

16.19 €

Ventafocs (contes De Faula) Sunico Rodriguez

Broschur

14.69 €

Catalogo Das Phanerogamicas Da Madeira E Do Porto Santo (1894) Carlos Azvedo Menezes

Broschur

20.99 €

EL TIGRE EN LA CASA CARL VAN VECHTEN

Hardcover

25.59 €

Che cosa significa orientarsi nel pensiero Immanuel Kant

Broschur

13.59 €

Historia filozofii politycznej Julian W. Korab-Karpowicz

Hardcover

13.79 €

Servicewüste??? Natürlich alles frei erfunden!!! Nick Living

Broschur

10.90 €

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles are dedicated to his memory and illustrate the tremendous importance his ideas have had in logic , mathematics, comput er science and philosophy . Discussions of some of thesevarious contributions have appeared in The Bulletin of Symbolic Logic, and th e interested reader is invited to seek details there . Here we justtry to give somegener al sense of the scope, depth,and value of his work. Church is perhaps best known for the theorem , appropriately called " C h u r c h ' s Theorem ", that there is no decision procedure forthelogical valid ity of formulas first-order of logic . A d ecision proce dure forthat part of logic would have come near to fulfilling Leibniz's dream of a calculus that could be mechanically used tosettle logical disputes . It was not to . be It could not be . What Church proved precisely is that there is no lambda-definable function that can i n every case providethe right answer , ' y e s ' or ' n o', tothe question of whether or not any arbitrarily given formula is valid .

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 Logic, Meaning and Computation

Autor C. Anthony Anderson, Michael Zeleny

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2002

Anzahl der Seiten 627

EAN 9781402001413

ISBN 140200141X

Libristo-Code 05255879

Verlag Springer-Verlag New York Inc.

Gewicht 2420

Abmessungen 155 x 235 x 43

Kategorie

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

Philosophie und Religion > Philosophie > Themen der Philosophie > Logik

Sprache und Sprachwissenschaft > Sprachwissenschaft, Linguistik > Sprachphilosophie

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