Title: History of astronomy : an encyclopedia