Kirkby, John: Arithmetical Institutions