Skip to content

No image available
No image available

Les d�monstrations & les algorithmes introduction � la logique & � la calculabilit� Paperback - 2010

by Dowek


Details

  • Title Les d�monstrations & les algorithmes introduction � la logique & � la calculabilit�
  • Author Dowek
  • Binding Paperback
  • Publisher ECOLE POLYTECHNIQUE
  • Date 2010
  • ISBN 9782730215695
Back to Top

More Copies for Sale

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

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

by Gilles Dowek

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 10 / ISBN 13
9782730215695 / 2730215697
Quantity Available
1
Seller
Brooklyn, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£14.04
£4.41 shipping to USA

Show Details

Description:
Les Editions de Ecole Polytechnique; Paris, FR, 2010. Softcover. Very Good. 0x0x0. [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.
Item Price
£14.04
£4.41 shipping to USA