[LOGIC]. Gilles Dowek. "Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]." Paris: Les Editions de Ecole Polytechnique, 2010. First edition. French language. Softcover. Nonfiction academic book on logic and algorithms with bibliography. 9 1/2 x 6 3/4 inches. 13 oz. 194 pages. Text clean. Fine condition. ISBN: 9782730215695. "Alternately a branch of philosophy, mathematics and computer science, logic studies the methods that make it possible to establish that a statement is true, such as reasoning and calculation.This book is an introduction to the fundamental concepts of contemporary logic, those of proof, computable function, model, and set. It presents a series of both negative and positive results: Church's undecidability theorem, Godel's incompleteness theorem, the semi-decidability theorem of provability, which have profoundly changed our conception of reasoning, of calculation and, ultimately, of truth itself.".

Bestandsnummer des Verk�ufers 0000296

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]

Verlag

Paris: Les Editions de Ecole Polytechnique. Printed in France

Erscheinungsjahr

2011

Sprache

Franz�sisch

ISBN-10

2730215697

ISBN-13

9782730215695

Einband

Softcover

Auflage

First Edition.

Zustand

Fine.

Gewicht

13�Unzen

Verk�uferkataloge

Math

�ber diesen Titel

Inhaltsangabe

Tour � tour branche de la philosophie, des math�matiques et de l'informatique, la logique a pour objet d'�tude les m�thodes qui permettent d'�tablir qu'un �nonc� est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de d�monstration, de fonction calculable, de mod�le et d'ensemble. Il pr�sente une s�rie de r�sultats tant n�gatifs que positifs - le th�or�me d'ind�cidabilit� de Church, le th�or�me d'incompl�tude de G�del, le th�or�me de semi-d�cidabilit� de la d�montrabilit�, - qui ont profond�ment chang� notre conception du raisonnement, du calcul et, finalement, de la v�rit� elle-m�me.

�ber die Autorin bzw. den Autor

Gilles Dowek est professeur � l'Ecole Polytechnique et chercheur � l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole Polytechnique. Ses travaux portent sur la formalisation des math�matiques et sur la m�canisation du raisonnement. Sa principale contribution est une reformulation de la m�thode axiomatique qui donne une place centrale � la notion de calcul.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

I sell uncommon art catalogs, academic monographs, and prints, as well as rare ephemera such as posters and zines. I ship from Brooklyn, New York. I am an alum of the Rare Book School and the Colorado Antiquarian Book Seminar, as well as Indiana University and the Ohio State University. I started in the trade at the Wexner Center for the Arts bookstore, and I have previously worked for the Columbus Metropolitan Library, the Billy Ireland Cartoon Library and Museum, the Art Institute of Chicago's Department of Prints and Drawings, and the Indiana University Art Museum's center for Prints, Drawings, and Photographs. More recently, I was the rare book cataloger at Donald Heald Rare Books, for whom I worked the ABAA's New York International Antiquarian Book Fair.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

James Payne, Books and Prints
NY, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Exchange Value Books guarantees the condition of every book as it is described on Abebooks. If dissatisfied with purchase (not as described/damaged), I am happy to issue a full refund upon dealer's receipt of the returned item within two weeks. Please pack returns carefully. "No longer needed" returns not accepted. All items subject to prior sale. If one has questions about accepted payment methods or terms of sale, do not hesitate to email james.payne.cc@gmail.com. Usual terms to the trade.

Widerrufsbelehrung

Wenn Sie Verbraucher sind, steht Ihnen ein Widerrufsrecht nach folgender Ma�gabe zu. Verbraucher ist jede nat�rliche Person, die ein Rechtsgesch�ft zu Zwecken abschlie�t, die �berwiegend weder ihrer gewerblichen noch ihrer selbst�ndigen beruflichen T�tigkeit zugerechnet werden k�nnen.

WIDERRUFSBELEHRUNG

Widerrufsrecht

Sie haben das Recht, binnen 14 Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.

Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die letzte Ware oder die letzte Teilsendung bzw. das letzte St�ck in Besitz genommen haben bzw. hat.

Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns, Exchange Value Books, 20A Vernon Ave., Apt. 1, 11206-6995, New York City, New York, U.S.A., +1 9178593196, mittels einer eindeutigen Erkl�rung (z.B. ein mit der Post versandter Brief, Telefax oder E-Mail) �ber Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie k�nnen daf�r das beigef�gte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist. Sie k�nnen auch eine andere eindeutige Erkl�rung auf der Webseite "Meine Bestellungen" in Ihrem "Nutzerkonto" elektronisch ausf�llen und �bermitteln. Machen Sie von dieser M�glichkeit Gebrauch, so werden wir Ihnen unverz�glich (z. B. per E-Mail) eine Best�tigung �ber den Eingang eines solchen Widerrufs �bermitteln. Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung �ber die Aus�bung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.

Folgen des Widerrufs

Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschlie�lich der Lieferkosten (mit Ausnahme der zus�tzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, g�nstigste Standardlieferung gew�hlt haben), unverz�glich und sp�testens binnen vierzehn Tagen ab dem Tag zur�ckzuzahlen, an dem die Mitteilung �ber Ihren Widerruf dieses Vertrags bei uns eingegangen ist. F�r diese R�ckzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der urspr�nglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdr�cklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser R�ckzahlung Entgelte berechnet. Wir k�nnen die R�ckzahlung verweigern, bis wir die Waren wieder zur�ckerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zur�ckgesandt haben, je nachdem, welches der fr�here Zeitpunkt ist. Sie haben die Waren unverz�glich und in jedem Fall sp�testens binnen vierzehn Tagen ab dem Tag, an dem Sie uns �ber den Widerruf dieses Vertrags unterrichten, an Exchange Value Books, 20A Vernon Ave., Apt. 1, 11206-6995, New York City, New York, U.S.A., +1 9178593196, zur�ckzusenden oder zu �bergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden.

Sie tragen die unmittelbaren Kosten der R�cksendung der Waren. Sie m�ssen f�r einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Pr�fung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zur�ckzuf�hren ist.

Ausnahmen vom Widerrufsrecht

Das Widerrufsrecht besteht nicht bzw. erlischt bei folgenden Vertr�gen:

Zur Lieferung von Zeitungen und Zeitschriften oder Illustrierten, mit Ausnahme von Abonnement Vertr�gen;
Bei der Lieferung digitaler Inhalte, die nicht auf einem k�rperlichen Datentr�ger (z.B. einer CD oder DVD) geliefert werden, wenn Sie dem Beginn der Ausf�hrung vor der Bestellung ausdr�cklich zugestimmt und zur selben Zeit best�tigt haben, dass mit der Ausf�hrung begonnen werden kann und Sie Ihr Widerrufsrecht verlieren, sobald die Ausf�hrung begonnen hat.

ENDE DER WIDERRUFSBELEHRUNG

Muster-Widerrufsformular

(Wenn Sie den Vertrag widerrufen wollen, dann f�llen Sie bitte dieses Formular aus und senden Sie es zur�ck)

An: (Exchange Value Books, 20A Vernon Ave., Apt. 1, 11206-6995, New York City, New York, U.S.A., +1 9178593196)

Hiermit widerrufe(n) ich/wir* den von mir/uns* abgeschlossenen Vertrag �ber den Kauf der folgenden Waren*/ die Erbringung der folgenden Dienstleistung*

Bestellt am*/erhalten am*:

Name des/der Verbraucher(s):

Anschrift des/der Verbraucher(s):

Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier):

Datum:

* Unzutreffendes streichen.

Versandbedingungen

Exchange Value Books uses USPS media mail and ships within two days excluding extraordinary circumstances. I will ship to anywhere in the world that the numerous US embargoes do not forbid, however, if the real international shipping cost is in great variance to that listed, additional shipping may need to be charged. If one is purchasing from a prison, please indicate the specific rules for shipping books to the institution. Exchange Value Books encloses ordered books in waterproof mylar and protects books with cardboard and sufficient packaging.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	4 bis 14�Werktage	3 bis 10�Werktage
Erster Artikel	EUR 4.75	EUR 8.64

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.