Incompleteness Theorems
From MaRDI portal
Software:40326
No author found.
Related Items (2)
A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle ⋮ Formalization of the resolution calculus for first-order logic
This page was built for software: Incompleteness Theorems
