机读格式显示(MARC)

• 000 01380cam a2200385 i 4500

• 001 0000648054

• 005 20170418105800.0

• 008 150213s2015 nyua b 001 0 eng

• 010 __ |a 2015004116

• 020 __ |a 9780521133777 (paperback)

• 020 __ |a 9780521118019 (hardback)

• 020 __ |a 0521118018 (hardback)

• 020 __ |a 0521133777 (paperback)

• 040 __ |a DLC |b eng |c DLC |e rda |d DLC

• 050 00 |a QA26 |b .D69 2015

• 082 00 |a 510.9 |2 23

• 090 __ |a O11/BD1

• 093 __ |a O11 |2 5

• 100 1_ |a Dowek, Gilles.

• 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.

• 260 __ |a New York, NY : |b Cambridge University Press, |c c2015.

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

• 336 __ |a text |2 rdacontent

• 337 __ |a unmediated |2 rdamedia

• 338 __ |a volume |2 rdacarrier

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

• 546 __ |a Text in English.

• 650 _0 |a Mathematics |x History |y 20th century.

• 650 _0 |a Mathematics |x History.

• 650 _0 |a Mathematics, Ancient.

• 700 1_ |a Guillot, Pierre, |d 1978-

• 700 1_ |a Roman, Marion.

• 920 __ |a 233030 |z 1