Little Prover

by , , , ,
No cover

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

248 pages

English language

Published Jan. 24, 2015 by MIT Press.

View on OpenLibrary

2 stars (1 review)

2 editions