ISFDB ISBN search September 29, 2025 by jlamprecht http://www.isfdb.org/cgi-bin/se.cgi?type=ISBN&arg=9780415172905