Computation, proof, machine : mathematics enters a new age /
Saved in:
Main Authors: | |
---|---|
Group Author: | ; |
Published: |
Cambridge University Press,
|
Publisher Address: | New York : |
Publication Dates: | 2015. |
Literature type: | Book |
Language: |
English French |
Subjects: | |
Item Description: | Translated from the French. |
Carrier Form: | viii, 152 pages : illustrations (black and white) ; 22 cm |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9780521133777 (paperback) : 9780521118019 (hardback) |
CLC: | O11 |
Call Number: | O11/D746 |