no image available Dickens & Co. "Cracking the Code: The Elusive Complexity of Bounded Second-Order Unification and Stratified Context Unification" "Unraveling the Mysteries of Higher-Order Logic and its Applications in Artificial Intelligence" Price: 19.00€