Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Logic, Meaning and Computation

Name: Logic, Meaning and Computation
Brand: Springer
SKU: 05323253
Price: 153.91 EUR
Availability: InStock
Author: C. Anthony Anderson
ISBN: 9789401038911

Essays in Memory of Alonzo Church

C. Anthony Anderson

Michael Zelëny

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05323253

Nakladateľstvo Springer, október 2012

Alonzo Church was undeniably one ofthe intellectual giants of theTwenti eth Century . These articles... Celý popis

Libristo kód: 05323253

373 b

153.91 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

HISTORIA DE ESPAÑA CONTADA PARA ESCEPTICOS JUAN ESLAVA GALAN

Kniha

39.53 €

Schnittmuster fur die Liebe Eva Kah

Adobe ePub DRM

3.32 €

El estado social en Espa?a ALMAGRO CASTRO

Brožovaná

35.80 €

Evaluation Des Performances Des Enseignants Dans Le Service d'Education Du Ghana Isaac Ampofo Atta Junior

Brožovaná

35.60 €

Das Muratorische Fragment Joachim Orth

Brožovaná

30.35 €

Animales del mundo Arredondo

Pevná

7.15 €

Zdánlivé pochybnosti Jan Kameníček

Brožovaná

7.66 €

SHANNON SHANNON

Audio CD

14.31 €

Les crimes de l'armée française en Algérie 1954-1962 Pierre Vidal-Naquet

Brožovaná

15.42 €

Hitze Sina de Malafosse

Brožovaná

11.39 €

Dislexia, disortografía y disgrafía María del Pilar Fernández Fernández

Brožovaná

24.10 €

Chut... je t'aime ! Bourgois Kniha

Brožovaná

10.28 €

LES NEO-PAGANISMES ET LA NOUVELLE DROITE (1980-2006) : POUR UNE AUTRE APPROCHE STEPHANE

Brožovaná

25.21 €

Küresel Kapitalizm ve Göcmenlik Mustafa Peköz

Brožovaná

16.13 €

Historique Des Evenemens Qui Se Sont Passes A La Basse-Terre, Ville Capitale de l'Ile Guadeloupe SANS AUTEUR

Brožovaná

15.62 €

Litterature Contemporaine. Serie 5 Sans Auteur

Brožovaná

20.16 €

Episode de l'Invasion de 1870 A Provins Bourquelot-E

Brožovaná

15.62 €

Les Mohicans de Paris.Tome 11 Alexandre Dumas

Brožovaná

24.00 €

Nouveau Dictionnaire Universel, (Ed.1869) Maurice La Chatre

Brožovaná

32.47 €

Rolle und Identitat im Wunderland Viktoria Freya Weigel

Brožovaná

16.13 €

Analyse fachinhaltlicher Anteile der Lernbegleitung in offenen experimentellen Situationen Sebastian Sutor

Brožovaná

38.22 €

Desarrollo de una cepa etanologenica a partir de B. subtilis Susana Romero García

Brožovaná

25.81 €

Verwaltungsverfahrensgesetz (VwVfG) Sarastro Gmbh

Brožovaná

8.97 €

Freiheit Des Kolja Iwanow Friede Henriette Kraze

Brožovaná

32.87 €

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 .