Soundness and Completeness of Implicational Logic by Asta Halkjær From 🌐 and Jørgen Villadsen 🌐 Sep 13
First-Order Logic According to Harrison by Alexander Birch Jensen 🌐, Anders Schlichtkrull 🌐 and Jørgen Villadsen 🌐 Jan 01