no image available Dickens & Co. "Breaking the Code: Revolutionary Proof of Gdels' Incompleteness Theorems Using Nominal Isabelle" "Unlocking the Secrets of Mathematical Consistency, One Line of Code at a Time" Price: 31.00€