The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

The Little Prover

Paperback • 2015 • English

The Little Prover

By Daniel P. Friedman

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, 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 step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presente...Show more

Book details

ISBN

9780262527958

Publisher

MIT Press Ltd

Published year

2015

Language

English

Original title

The Little Prover

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Advances in Mathematics Education Research on Proof and Proving

Advances in Mathematics Education Research on Proof and Proving

We Reason & We Prove for ALL Mathematics

We Reason & We Prove for ALL Mathematics

Fran Arbaugh

Starting Out with Programming Logic and Design

Starting Out with Programming Logic and Design

Tony Gaddis

A Cabinet of Philosophical Curiosities

A Cabinet of Philosophical Curiosities

Roy Sorensen

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Proving in the Elementary Mathematics Classroom

Proving in the Elementary Mathematics Classroom

University of Cambridge) Stylianides Andreas J. (Reader in Mathematics Education Reader in Mathematics Education

Probability For the Enthusiastic Beginner

Probability For the Enthusiastic Beginner

David J. Morin

Grokking Algorithms

Grokking Algorithms

Aditya Y. Bhargava

The logic manual

The logic manual

Volker Halbach

How to Solve It: A New Aspect of Mathematical Method

How to Solve It: A New Aspect of Mathematical Method

G. Polya

Mathematical Proofs: A Transition to Advanced Mathematichs

Mathematical Proofs: A Transition to Advanced Mathematichs

Chartrand Polimeni zhanh

Logic

Logic

Dan Cryan

Proof and Proving in Mathematics Education

Proof and Proving in Mathematics Education

Gila Hanna

Puzzles for proframmers and pros

Puzzles for proframmers and pros

Dennis E. Shasha

Prealgebra

Prealgebra

Richard Rusczyk

The IDA Pro Book

The IDA Pro Book

Chris Eagle

Proof in Mathematics Education Research, Learning and Teaching

Proof in Mathematics Education Research, Learning and Teaching

David A. Reid

Teaching and Learning Proof Across the Grades A K-16 Perspective

Teaching and Learning Proof Across the Grades A K-16 Perspective

Despina A. Stylianou

Introduction to Reasoning and Proof Grades 6-8

Introduction to Reasoning and Proof Grades 6-8

Denisse Rubilee Thompson

Beginning Programming All-in-One Desk Reference For Dummies

Beginning Programming All-in-One Desk Reference For Dummies

Wallace Wang

Java Puzzlers

Java Puzzlers

Joshua Bloch

Concepts, techniques and models of computer programming

Concepts, techniques and models of computer programming

Seif Haridi

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Deductive Logic

Deductive Logic

Warren Goldfarb

Concepts in Programming Languages

Concepts in Programming Languages

John Abercrombie

Discrete Mathematics

Discrete Mathematics

Norman L. Biggs

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Problem Solving and Programming Concepts

Problem Solving and Programming Concepts

Maureen Sprankle

Chapter Zero

Chapter Zero

Carol Schumacher

The Practice of Programming

The Practice of Programming

Brian W. Kernighan

Schaum's outline of theory and problems of discrete mathematics

Schaum's outline of theory and problems of discrete mathematics

Lipschutz,Seymour

Mathematical fallacies and paradoxes

Mathematical fallacies and paradoxes

Bryan Bunch

Compiler Construction

Compiler Construction

Kenneth C. Louden

A cascade of numbers

A cascade of numbers

R P Burn

Combinatorics Topics, Techniques, Algorithms

Combinatorics Topics, Techniques, Algorithms

Peter Jephson Cameron

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

Labyrinths of Reason Paradox, Puzzles and the Frailty of Knowledge

William Poundstone

How to solve it

How to solve it

George Polya