no image available Dickens & Co. "Breaking Down Barriers: Harnessing the Power of Automated Deduction in Relation Algebra" "Unlocking the Secrets of Formal Systems through RALL Machines" Price: 18.00€