Computation, proof, machine : mathematics enters a new age :: Gilles Dowek :: ISBN 9780521133777 :: Cambridge University Press 2015 :: OBNB, the Open British National Bibliography

Publication Data

Title Computation, proof, machine : mathematics enters a new age
Alternative Title Mathematics enters a new age
Author Gilles Dowek
Contributors Pierre Guillot, Marion Roman
Publisher Cambridge University Press
Publication date 2015
Publication location New York, NY
Language English

Topics

Mathematics :: History :: 20th century
Mathematics :: History
017371921

Catalogue Data

OBNB ID GBB567071
ISBN 10 0521133777
ISBN 13 9780521133777
Type BibliographicResource, Book
Dewey Classification 510.9

ISBD

P1008>First First English edition
P1053 viii, 152 pages
P1042 Includes bibliographical references (pages 149-152) and index.
P1073 Text in English.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Computation, proof, machine : mathematics enters a new age by Gilles Dowek. ISBN 9780521133777. Published by Cambridge University Press in 2015. Publication and catalogue information, links to buy online and reader comments.