I'm pretty new to the ANA, and am still getting used to the new website and all the opportunities that it offers. One thing that I'm struggling with is navigating the library and looking for particular books. I'm trying to do some research right now, and am in need of a really good book talking about proofs. I'm talking proofs of all types, easy ways to identify them, what to look for, etc.