Daniel P. Friedman, Daniel P. Friedman, Carl Eastlund: The Little Prover

The Little Prover

Author: Daniel P. Friedman, Daniel P. Friedman, Carl Eastlund

paperback
Category: Computer Programming / Software Development
Category: PDA / Handheld Programming
Category: Software Engineering
Category: Web Programming
Category: Mathematical Logic
MIT Press Ltd
Discounted book price: 42.19 EUR
(price updated on 20.08.2025)

Free delivery to EU countries (and more) more

Reader's comments and book reviews: Amazon

View and order

Books from category Mathematical Logic

More than books

The Times Su Doku Book 1: 100 Challenging Puzzles from the Times Price: 10.86 EUR Show book details	The Times Fiendish Su Doku Book 5: 200 Challenging Puzzles from the Times Price: 13.13 EUR Show book details
The Times Killer Su Doku Book 8: 150 Challenging Puzzles from the Times Price: 11.16 EUR Show book details	The Times Killer Su Doku Book 9: 150 Challenging Puzzles from the Times Price: 11.17 EUR Show book details
The Times Super Fiendish Su Doku Book 1: 200 Challenging Puzzles from the Times Price: 11.44 EUR Show book details	The Times Super Fiendish Su Doku Book 2: 200 Challenging Puzzles from the Times Price: 11.47 EUR Show book details
The Times Fiendish Su Doku Book 9: 200 Challenging Puzzles from the Times Price: 10.71 EUR Show book details	The Times Super Fiendish Su Doku. Book 4: 200 Challenging Puzzles from the Times Price: 11.53 EUR Show book details
The Times Codeword. Book 7: 200 Cracking Logic Puzzles Price: 13.13 EUR Show book details	The Times Codeword. Book 8: 200 Cracking Logic Puzzles Price: 10.40 EUR Show book details
Bridge Secrets: Don'T Miss a Trick Price: 11.27 EUR Show book details	Limitless Mind: Learn, Lead and Live without Barriers Price: 18.09 EUR Show book details
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Price: 16.42 EUR Show book details	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Price: 12.81 EUR Show book details
The Sunday Times Teasers. Book 1: Challenge Yourself with 100 Lateral-Thinking Puzzles Price: 16.46 EUR Show book details	At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Price: 18.33 EUR Show book details
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Price: 21.36 EUR Show book details	Schaum's Outline of Theory and Problems of Set Theory and Related Topics Price: 29.86 EUR Show book details
Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits Price: 28.75 EUR Show book details	Math Proofs Demystified Price: ~~19.67 EUR~~ 0.00 EUR Show book details