(/*General*/ Paul Taylor: Practical Foundations of Mathematics. - →Topics: : reference to various branches of mathematics)
(Categorizing under Category:Theoretical foundations)
Revision as of 10:37, 7 June 2006
Paul Taylor: Practical Foundations of Mathematics. Free online book on mathematics, huge areas of mathematics are described thoroughly, many of them closely related to computer science and functional programming (relational algebra, category theory, Curry-Howard isomorphism).