Items related to Les démonstrations et les algorithmes: Introduction...
- PublisherECOLE POLYTECH
- Publication date2010
- ISBN 10 2730215697
- ISBN 13 9782730215695
- BindingPaperback
- Number of pages194
Buy Used
Condition: Very Good[LOGIC]. Dowek, Gilles. "Les demonstrations... Learn more about this copy
£ 14.08
Shipping:
£ 4.29
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite [French]
Published by
Les Editions de Ecole Polytechnique; Paris, FR
(2010)
ISBN 10: 2730215697
ISBN 13: 9782730215695
Used
Softcover
Quantity: 1
Seller:
Rating
Book Description Softcover. Condition: Very Good. [LOGIC]. Dowek, Gilles. "Les demonstrations et les algorithmes: Introduction a la logique et a la calculabilite." Les Editions de Ecole Polytechnique; Paris, FR, 2010. French language. Softcover. 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
Buy Used
£ 14.08
Convert currency