BookWyrm home page

Scan Barcode

Forgot your password?

Join
Back
avatar for jao

jao rated Computation, proof, machine: 1 star

  • May 28, 2021
  • Public
No cover

Gilles Dowek: Computation, proof, machine (2015)

Computation, proof, machine by Gilles Dowek

Reply Boost status Like status

Successfully posted status

Error posting status

About BookWyrm

Contact site admin

Documentation

Code of Conduct

Privacy Policy

Support BookWyrm on Patreon

BookWyrm's source code is freely available. You can contribute or report issues on GitHub.

BookWyrm is managed from the unceded ancestral homeland of the Ramaytush Ohlone peoples, the original inhabitants of the San Francisco Peninsula. A portion of the proceeds go towards the Yunakin land tax.