Towards an Arithmetical Logic The Arithmetical Foundations of Logic - Gauthier, Yvon (Springer International Publishing : Imprint: Birkhäuser, 2015)