Computation, proof, machine

mathematics enters a new age

by
No cover

Gilles Dowek: Computation, proof, machine (2015)

152 pages

English language

Published Sept. 11, 2015

ISBN:
978-0-521-11801-9
Copied ISBN!
OCLC Number:
903763239

View on OpenLibrary

1 star (1 review)

1 edition

Subjects

  • Mathematics
  • Ancient Mathematics
  • History