A Sequent Calculus Prover for First-Order Logic with Functions by Asta Halkjær From and Frederik Krogsdal Jacobsen Jan 31
From Abstract to Concrete Gödel's Incompleteness Theorems—Part II by Andrei Popescu and Dmitriy Traytel Sep 16
From Abstract to Concrete Gödel's Incompleteness Theorems—Part I by Andrei Popescu and Dmitriy Traytel Sep 16
An Abstract Formalization of Gödel's Incompleteness Theorems by Andrei Popescu and Dmitriy Traytel Sep 16