Scan Barcode

Username:

Password:

Forgot your password?

Gilles Dowek

External links

View on OpenLibrary

Books by Gilles Dowek

No cover — Gilles Dowek: Computation, proof, machine (2015)

1 star

Computation, proof, machine

by Gilles Dowek

Successfully posted status

Error posting status

Contact site admin

Code of Conduct

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.