Book recommendations for rigorous CS books I am a mathematician but I would like to learn basics of computer science. I have seen many books that are fine but has some mistakes. For example, Introduction to algorithms even says that one should use $f(n)\in O(g(n))$ but still uses the notation $f(n)= O(g(n))$.

Is there university level computer science books that are suitable for person who wants to study computer science on very rigorous books, or that are aimed to mathematician?
The Art of Computer Programming in four volumes by Knuth is an obvious choice. 

The first chapter of the first volume is a pretty solid course in discrete mathematics all by itself. If you can do all of the problems in that chapter you can earn a PhD in CS. (Some of the problems remain unsolved, I think - at least they were when the book was first published.)

Knuth is a Mathematician turned Computer Scientist and gives the mathematician's view of the field about as well as anyone can. You can depend on the accuracy of the book as the author has induced the community to drive out all inaccuracies using bounties.