Little ProverDaniel P. Friedman
Little Prover
Daniel P. Friedman, Carl Eastlund, Duane Bibby · 2015
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2015
- Language
- English
- Publisher
- MIT Press
- Editions
- 2
- Pages
- 248
- ISBN
- 9780262330558
Data source: Wikidata
More by Daniel P. Friedman
The Reasoned SchemerDaniel P. Friedman

The Reasoned Schemer
Daniel P. Friedman · 2018
The Little SchemerDaniel P. Friedman

The Little Schemer
Daniel P. Friedman · 1996
Little LearnerDaniel P. Friedman

Little Learner
Daniel P. Friedman · 2023
The Little TyperDaniel P. Friedman

The Little Typer
Daniel P. Friedman · 2018
Essentials of programming languagesDaniel P. Friedman

Essentials of programming languages
Daniel P. Friedman · 2008
The seasoned schemerDaniel P. Friedman

The seasoned schemer
Daniel P. Friedman · 1996
Essentials of programming languagesDaniel P. Friedman

Essentials of programming languages
Daniel P. Friedman · 1992
Reasoned Schemer, Second EditionDaniel P. Friedman
Reasoned Schemer, Second Edition
Daniel P. Friedman · 2018