Screen LibraryComputation, 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 |