FreeSoftwareBooks.com
the name says it all

Home Page  |   Languages   | Java/J2EE    |  Microsoft    |   Unix/Linux    |   Computer Science    |   Databases    |  Web   |   Networking  
Mathematics & Logic 
Only Problems, Not Solutions! 4th Ed. (F. Smarandache) Applied Probability (Tina Kapur, Rajeev Surati)
Mathematics for Computer Science (Tara Holm) Discrete Mathematics (Shai Simonson)
Practical Foundations of Mathematics (Paul Taylor) A Problem Course in Mathematical Logic (Stefan Bilaniuk)
Logic for Computer Science: Foundations of Automatic Theorem Proving (by Jean Gallier)
Foundations of Computer Science (Hans-Peter Bischof) Introduction to Finite Mathematics (John G. Kemeny, et al)
Mathematical Foundations of Computer Science (Susan H. Rodger)
A Computational Introduction to Number Theory and Algebra (V. Shoup)
The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning (G.J. Chaitin)
Implementing Mathematics with The Nuprl Proof System Algebra Plus (by Eric G. Wagner)
Basic Concepts of Mathematics (E. Zakon) Abstract Algebra: The Basic Graduate Year (R.B. Ash)
Advanced Calculus (by L.H. Loomis, and S. Sternberg, Harvard University, 1990, 592p, PDF)
A Course in Universal Algebra (by Stanley N. Burris and H.P. Sankappanavar)
Universal Algebra for Computer Science (Eric G. Wagner) The Structure of Finite Algebras (D. Hobby and R. McKenzie)
Abstract Algebra Online Mathematical Tools for Physics
Elementary Linear Algebra (K. Matthews) Mathematical Analysis I (E. Zakon)
Elements of Abstract and Linear Algebra (E.H. Connell) An Introduction to the Theory of Numbers (L. Moser)
Vector Math for 3D Computer Graphics, 3rd Edition Logics of Time and Computation (Robert Goldblatt)
Categories, Types and Structures: An introduction to Category Theory for the Computer Scientist (G. Longo)
Constructive Real Numbers and Constructive Function Spaces (by N. A. Sanin)
Logic and Proof Toposes, Triples and Theories (M. Barr, C. Wells)
Templates for the Solution of Linear Systems: Building Blocks for the Iterative Methods
Graph Theory, 3rd Edition (R. Diestel) Elementary Linear Algebra
Matroid Decomposition (K. Truemper) Model Theory, Algebra, and Geometry
Probability Theory: The Logic of Science (E.T. Jaynes) Notes on Coding Theory (J.I. Hall)
Unsolved Problems in Mathematical Systems and Control Theory (Edited by V.D. Blondel and A. Megretski)
Mathematics and Biology: The Interface, Challenges, and Opportunities [Mirror]