no image available Dickens & Co. "Infinite Possibilities: Formalizing the Gamma Function in Higher-Order Logic" "Unraveling the Mysteries of the Gamma Function in the Realm of Higher-Order Logic" Price: 37.00€