First-Order Logic According to Harrisonby Alexander Birch Jensen, Anders Schlichtkrull and Jørgen Villadsen01 Jan