Comment by philipov

"How To Prove It" is used to initiate people. It was required reading for an introductory class on formal mathematics at university.