I am about to start learning college level Economics and the two books that are commonly used are Intermediate Microeconomics by Hal Varian and Microeconomic Theory: Basic Principles and Extensions by Nicholson and Snyder.
I know for a fact that the Varian's book is used by almost everybody as their introduction to the subject. However, a quick glance makes me feel that the latter is more mathematically rigorous an has better problems (and by this, I do not mean the beginning chapter that teaches the mathematical pre-requisites).
Is Nicholson & Snyder actually more rigorous? How good will it be for someone who intends to make progress in the subject rather rapidly and explore the mathematics aspects of it in the long run? What am I going to miss and learn more by not doing the book by Varian?