Introduces the basic algorithms for computing and provides a constructive approach to abstract mathematics.

Read more at: http://www.freetechbooks.com/about658.html.