Scan Barcode

Username:

Password:

Forgot your password?

J. Strother Moore

External links

View on OpenLibrary

Books by J. Strother Moore

No cover — Daniel P. Friedman, Carl Eastlund, Duane Bibby, J. Strother Moore, Matthias Felleisen: Little Prover (2015, MIT Press)

5 stars

Little Prover

by Daniel P. Friedman, Carl Eastlund, Duane Bibby, and 2 others

Successfully posted status

Error posting status

About Kirjakasa

Code of Conduct

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