The Little Prover

by Daniel P. Friedman and Carl Eastlund

Foreword by J Strother Moore

Afterword by Matthias Felleisen

Paperback

$40.00

Paperback

ISBN: 9780262527958

Pub date: July 10, 2015

Publisher: The MIT Press

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

eBook

$39.99

eBook

ISBN: 9780262330572

Pub date: July 10, 2015

Publisher: The MIT Press

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

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

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

$40.00

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

$39.99