First-Order Logic According to Harrison by Alexander Birch Jensen, Anders Schlichtkrull and Jørgen Villadsen Jan 01