A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL
- Asta Halkjær From
- , Anders Schlichtkrull
- , Jørgen Villadsen
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
161
Downloads (Orbit)