no image available Dickens & Co. "Branching Out: The Power of Tree Grammars in Inductive Theorem Proving" "A Branching Point of Logic: How Tree Grammars Can Revolutionize Mathematical Proof" Price: 28.00€