BookWyrm home page

Scan Barcode

Forgot your password?

Join
Back
avatar for ameredith

Andrew Meredith wants to read Little Prover by Daniel P. Friedman

  • Dec. 31, 2022
  • Public
No cover

Daniel P. Friedman, Carl Eastlund, Duane Bibby: Little Prover (2015, MIT Press)

Little Prover by Daniel P. Friedman, Carl Eastlund, Duane Bibby

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.