The little prover [E-Book] / Daniel P. Friedman and Carl Eastlund ; drawings by Duane Bibby ; foreword by J. Strother Moore ; afterword by Matthias Felleisen.
Friedman, Daniel P., (author)
Eastlund, Carl, (author) / Bibby, Duane, (illustrator) / Moore, J. Strother, (author of introduction) / Felleisen, Matthias, (author of afterword, colophon, etc)
Cambridge, Massachusetts ; The MIT Press, 2015
1 online resource (244 pages) : illustrations
9780262330565 (e-book)
Full Text
Description not available.