Robinson arithmetic
From MaRDI portal
Software:5972508
No author found.
Related Items (2)
Formalizing Bachmair and Ganzinger's ordered resolution prover ⋮ Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
This page was built for software: Robinson arithmetic