Asta Halkjær From: A Concise Sequent Calculus for Teaching First-Order Logic (Isabelle 2020)
Channel: IJCAR-FSCD 2020
Date: 2020-07-21

Presented at the Isabelle Workshop 2020, June 30, 2020