The Little Prover

The Little Prover

by Daniel P. Friedman and Carl Eastlund

Foreword by J Strother Moore

Afterword by Matthias Felleisen

248 pp., 7 x 9 in, 22 b&w illus.

  • Paperback
  • 9780262527958
  • Published: July 10, 2015
  • Publisher: The MIT Press

$40.00

  • eBook
  • 9780262330572
  • Published: July 10, 2015
  • Publisher: The MIT Press

$39.99