Title
The Little Prover (Mit Press),Used
Sold by Ergodebooks, an authorized reseller.
Returns accepted within 30 days | support@ergodebooks.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch
- Double-boxed, fully insured & discreetly packaged
- Tracking number sent via email once dispatched
- Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund
Returns accepted within 30 days of delivery.
Damaged or Defective Item
Free return shipping + replacement or full refund
Wrong Item Received
Free return shipping + replacement or full refund
Change of Mind
Return shipping at customer's expense · 25% restocking fee applies
Payment Option
An Introduction To Writing Proofs About Computer Programs, Written In An Accessible Questionandanswer Style, Complete With Stepbystep Examples And A Simple Proof Assistant.The Little Prover Introduces Inductive Proofs As A Way To Determine Facts About Computer Programs. It Is Written In An Approachable, Engaging Style Of Questionandanswer, With The Characteristic Humor Of The Little Schemer (Fourth Edition, Mit Press). Sometimes The Best Way To Learn Something Is To Sit Down And Do It; The Book Takes Readers Through Stepbystep Examples Showing How To Write Inductive Proofs. The Little Prover Assumes Only Knowledge Of Recursive Programs And Lists (As Presented In The First Three Chapters Of The Little Schemer) And Uses Only A Few Terms Beyond What Novice Programmers Already Know. The Book Comes With A Simple Proof Assistant To Help Readers Work Through The Book And Complete Solutions To Every Example.
⚠️ WARNING (California Proposition 65):
This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
For more information, please visit www.P65Warnings.ca.gov.