Principles of Programming Languages
Gilles Dowek
₹2,965
Computation, Proof, Machine
Mathematics Enters a New Age
by Gilles Dowek, Pierre Guillot, Marion Roman
Cambridge University Press · 2015
₹5,212
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Cambridge University Press in 2015, Computation, Proof, Machine: Mathematics Enters a New Age by Gilles Dowek, Pierre Guillot & others runs to 152 pages.
Topics covered include Mathematics, Ancient Mathematics, Algorithmus and Mathematik. The period covered is 20th century.
Book details
- ISBN-13
- 9780521118019
- ISBN-10
- 0521118018
- Authors
- Gilles Dowek, Pierre Guillot, Marion Roman
- Publisher
- Cambridge University Press
- Published
- 2015
- Edition
- First English edition.
- Pages
- 152
- Language
- English
- Condition
- New
More by Gilles Dowek and related titles
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Higher-Order Algebra, Logic, and Term Rewriting
Gilles Dowek, Jan Heering, Karl Meinke
₹5,586
Guillaume Du Fay 2 Volume Hardback Set
Alejandro Enrique Planchart
₹5,361
Rehabilitation in Movement Disorders
Iansek
₹12,666
Culture and Human Development
John Whiting
₹5,505
Colombia before Independence
Anthony McFarlane
₹8,196
William Sheppard, Cromwell's Law Reformer
Nancy L. Matthews
₹3,921
The Theology of the Acts of the Apostles
Jacob Jervell
₹4,502
Euripides and the Poetics of Nostalgia
Gary S. Meltzer
₹3,616
Ontology and the Lexicon
Chu-Ren Huang, Nicoletta Calzolari, Aldo Gangemi
₹4,251
Only in Africa
Norman Owen-Smith
₹8,508