Tools

LEADER 02086cam 2200541 i 4500

001 ocn903763239;

003 OCoLC;

005 20150730072910.5;

008 150213s2015 nyua b 000 0 eng ;

010 a| 2015004116;

019 a| 912243317;

020 a| 9780521118019 (hardback);

020 a| 0521118018 (hardback);

020 a| 9780521133777 (paperback);

020 a| 0521133777 (paperback);

035 a| (Sirsi) 40025116657;

035 a| 40025116657;

035 a| (OCoLC)903763239z| (OCoLC)912243317;

041 1 a| engh| fre;

042 a| pcc;

050 00 a| QA26b| .D69 2015;

082 00 a| 510.92| 23;

100 1 a| Dowek, Gilles.=| ^A380683;

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

246 30 a| Mathematics enters a new age;

250 a| First English edition.;

264 1 a| New York, NY :b| Cambridge University Press,c| 2015.;

300 a| viii, 152 pages :b| illustrations ;c| 22 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

504 a| Includes bibliographical references (pages 149-152) and index.;

546 a| Text in English.;

650 0 a| Mathematicsx| Historyy| 20th century.=| ^A1194949;

650 0 a| Mathematicsx| History.=| ^A2085;

650 0 a| Mathematics, Ancient.=| ^A140606;

655 7 a| History.2| fast0| (OCoLC)fst01411628;

650 7 a| Mathematics.2| fast0| (OCoLC)fst01012163;

650 7 a| Mathematics, Ancient.2| fast0| (OCoLC)fst01012355;

648 7 a| 1900 - 19992| fast;

700 1 a| Guillot, Pierre,d| 1978-=| ^A1269505;

700 1 a| Roman, Marion.=| ^A1269506;

949 i| 30372016585116o| jjlm;

960 o| 1s| 39.99t| Joyner48u| JAPPz| USD;

596 a| 1;

998 a| 3815960;

999 a| QA26 .D69 2015w| LCc| 1i| 30372016585116d| 1/14/2016e| 9/18/2015l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 9/16/2015x| BOOKz| JSTACKSo| .STAFF. jjlm;

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.

Author/creator	Dowek, Gilles
Other author	Guillot, Pierre, 1978-
Other author	Roman, Marion.
Format	Book
Edition	First English edition.
Publication	New York, NY : Cambridge University Press, 2015.
Description	viii, 152 pages : illustrations ; 22 cm
Subjects	Mathematics--History. --20th century. Mathematics--History. Mathematics, Ancient.

Portion of title	Mathematics enters a new age
Bibliography note	Includes bibliographical references (pages 149-152) and index.
Language	Text in English.
Genre/form	History.
LCCN	2015004116
ISBN	9780521118019 (hardback)
ISBN	0521118018 (hardback)
ISBN	9780521133777 (paperback)
ISBN	0521133777 (paperback)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA26 .D69 2015	✔ Available	Place Hold

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.

Click here for more information about this title

Availability