Editions of Little Prover

Filters
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 April 9, 2015 by MIT Press.

ISBN:
978-0-262-33055-8
Copied ISBN!
No cover

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

Little Prover

248 pages

English language

Published April 9, 2015 by MIT Press.

ISBN:
978-0-262-52795-8
Copied ISBN!

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