Abstract Completeness
From MaRDI portal
Software:40299
No author found.
Related Items (4)
Soundness and completeness proofs by coinductive methods ⋮ Unified Classical Logic Completeness ⋮ Formalization of the resolution calculus for first-order logic ⋮ Foundational (co)datatypes and (co)recursion for higher-order logic
This page was built for software: Abstract Completeness
