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