Text this: Towards an Arithmetical Logic [electronic resource] The Arithmetical Foundations of Logic / by Yvon Gauthier.