Incompleteness Theorems

swMATH28612MaRDI QIDQ40326FDOQ40326

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Incompleteness.html

Cited In (7)

• Formalization of the resolution calculus for first-order logic
• A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
• theoremprover-museum
• FinFuns
• Abstract Soundness
• Knuth Bendix Orders
• Incredible Proof Machine

This page was built for software: Incompleteness Theorems