[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.".

Seller Inventory # 0000296

Contact seller

Report this item

Bibliographic Details

Title

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

Publisher

Paris: Les Editions de Ecole Polytechnique. Printed in France

Publication Date

2011

Language

French

ISBN 10

2730215697

ISBN 13

9782730215695

Binding

Softcover

Edition

First Edition.

Condition

Fine.

Weight

13 ounces

Seller catalogs

Math

About this title

Synopsis

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.

From the Back Cover

"About this title" may belong to another edition of this title.

Store Description

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.

Visit Seller's Storefront

Seller's business information

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

Sale & Shipping Terms

Terms of Sale

James Payne, Books and Prints 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 you have a question about accepted payment methods or terms of sale, do not hesitate to email james.payne.cc@gmail.com. Usual terms to the...

More Information

Shipping Terms

James Payne, Books and Prints 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 purchasing from a prison, please indicate the specific rules for shipping books to the institution. I enclose ordered books in waterproof mylar and protect books with cardboard and sufficient packaging.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 14 business days	3 to 10 business days
First item	US$ 5.50	US$ 10.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.