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