A Sequent Calculus Prover for First-Order Logic with Functions by Asta Halkjær From 🌐 and Frederik Krogsdal Jacobsen 🌐 Jan 31
Soundness and Completeness of an Axiomatic System for First-Order Logic by Asta Halkjær From 🌐 Sep 24