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
Fastbooks book price: 41.29 EUR
(price updated on 05.11.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: 9.73 EUR Show book details	The Times Fiendish Su Doku Book 5: 200 Challenging Puzzles from the Times Price: 12.85 EUR Show book details
The Times Killer Su Doku Book 8: 150 Challenging Puzzles from the Times Price: 10.73 EUR Show book details	The Times Killer Su Doku Book 9: 150 Challenging Puzzles from the Times Price: 10.24 EUR Show book details
The Times Super Fiendish Su Doku Book 1: 200 Challenging Puzzles from the Times Price: 11.02 EUR Show book details	The Times Super Fiendish Su Doku Book 2: 200 Challenging Puzzles from the Times Price: 11.06 EUR Show book details
The Times Fiendish Su Doku Book 9: 200 Challenging Puzzles from the Times Price: 10.48 EUR Show book details	The Times Super Fiendish Su Doku. Book 4: 200 Challenging Puzzles from the Times Price: 10.99 EUR Show book details
The Times Codeword. Book 7: 200 Cracking Logic Puzzles Price: 12.85 EUR Show book details	The Times Codeword. Book 8: 200 Cracking Logic Puzzles Price: 10.18 EUR Show book details
Bridge Secrets: Don'T Miss a Trick Price: 10.85 EUR Show book details	Limitless Mind: Learn, Lead and Live without Barriers Price: 17.52 EUR Show book details
Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Price: 16.07 EUR Show book details	Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything Price: 12.53 EUR Show book details
The Sunday Times Teasers. Book 1: Challenge Yourself with 100 Lateral-Thinking Puzzles Price: 15.91 EUR Show book details	At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Price: 17.94 EUR Show book details
At Sixes and Sevens: How to Understand Numbers and Make Maths Easy Price: 20.89 EUR Show book details	Schaum's Outline of Theory and Problems of Set Theory and Related Topics Price: 29.22 EUR Show book details
Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits Price: 28.80 EUR Show book details	Math Proofs Demystified Price: ~~19.67 EUR~~ 0.00 EUR Show book details