Editions of Little Prover

Filters
No cover

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

Little Prover

248 pages

English language

Published Jan. 24, 2015 by MIT Press.

No cover

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

Little Prover

248 pages

English language

Published Jan. 24, 2015 by MIT Press.

Can't find the edition you're looking for?