Arithmetical Institutions by John Kirkby