FreeSoftwareBooks.com
the name says it all

Home Page  |   Languages   | Java/J2EE    |  Microsoft    |   Unix/Linux    |   Computer Science    |   Databases    |  Web   |   Networking  
Theory of Computation 
An Introduction to the Theory of Computation (Eitan Gurari) Theory of Computation (Shai Simonson)
Introduction to Symbolic Computation (Mika Seppälä)  
Common Lisp: A Gentle Introduction to Symbolic Computation (by David S. Touretzky)
Constructive Computation Theory Computational Category Theory
Categories, Types and Structures. An introduction to Category Theory for the working computer scientist
A Computational Introduction to Number Theory and Algebra (V. Shoup)