ISBN 0262527952 books & textbook

The Little Prover (Mit Press)

Friedman, Daniel P. Eastlund, Carl Bibby, Duane

The MIT Press /2015-07-10 Paperback / 248 Pages
isbn-10: 0262527952 / isbn-13: 9780262527958