杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Computation, proof, machine : mathematics enters a new age / Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman.

版本说明:

First English edition.

出版发行项:

New York, NY : Cambridge University Press, c2015.

ISBN:

9780521133777 (paperback)

ISBN:

9780521118019 (hardback)

ISBN:

0521118018 (hardback)

ISBN:

0521133777 (paperback)

载体形态项:

viii, 152 pages : illustrations ; 22 cm

变异题名:

Mathematics enters a new age

个人责任者:

Dowek, Gilles.

附加个人名称:

Guillot, Pierre, 1978-

附加个人名称:

Roman, Marion.

论题主题:

Mathematics-History-20th century.

论题主题:

Mathematics-History.

论题主题:

Mathematics, Ancient.

中图法分类号:

O11

书目附注:

Includes bibliographical references (pages 149-152) and index.

语种附注:

Text in English.

豆瓣简介：