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

Gilles Dowek

Language: French

Published by Paris: Les Editions de Ecole Polytechnique. Printed in France, 2011

2730215697 / 9782730215695

  • First Edition
  • Softcover
  • Used
See all details

Seller: James Payne, Books and Prints, New York City, NY, U.S.A.James Payne, Books and Prints

5-star seller

AbeBooks seller since October 30, 2020

View this seller's items
Softcover

Condition: Used - Fine

US$ 35.00

US$ 5.50 shipping 
Ships within U.S.A.

Quantity: 1 available

Add to basket
Save for laterCreate a Want for similar items

Item description from seller

[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

Report this item
Title
Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
Author
Gilles Dowek
Publisher
Paris: Les Editions de Ecole Polytechnique. Printed in France
Publication year
2011
Condition
Fine.
Binding
Softcover
Language
French
ISBN 10
2730215697
ISBN 13
9782730215695
Edition
First Edition.
Item weight
13 ounces
Dimensions
0x0x0
Seller catalogs
Math

James Payne, Books and Prints

New York City, NY, U.S.A.

5-star seller

AbeBooks seller since October 30, 2020

Shipping rates within U.S.A.

Item4 to 14 business days3 to 10 business days
First itemUS$ 5.50US$ 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.

Payment methods

VisaMastercardAmerican ExpressApple PayGoogle Pay

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.

Specialty

Academic Monographs, Art Catalogs, Prints, Zines, Political Ephemera

Seller's business information

James Payne, Books and Prints

NY, U.S.A.

Contact sellerView this seller's itemsView seller's storefront