The Little Prover

(Author) (Author)
& 2 more
Backorder (temporarily out of stock)
Product Details
Price
$48.00
Publisher
MIT Press
Publish Date
Pages
248
Dimensions
6.9 X 8.9 X 0.5 inches | 1.05 pounds
Language
English
Type
Paperback
EAN/UPC
9780262527958
BISAC Categories:

Earn by promoting books

Earn money by sharing your favorite books through our Affiliate program.

Become an affiliate
About the Author
Daniel P. Friedman is Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); and The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann).

Carl Eastlund is a software engineer at Jane Street Capital in New York City.

Matthias Felleisen is Trustee Professor in the College of Computer Science at Northeastern University.