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