Gauthier, Yvon, <br/><br/>
Towards an arithmetical logic :  the arithmetical foundations of logic / 
Yvon Gauthier. 
 - xi, 184 páginas :  9 ilustraciones 
 - Studies in Universal Logic,  2297-0282 .
<br/><br/> Springer eBooks 
<br/><br/>Foreword -- 1.Introduction -- 2.Arithmetization of Analysis and Algebra -- 3.Arithmetization of Logic -- 4.Kronecker's Foundational Programme in Contemporary Mathematics -- 5.Arithmetical Foundations for Physical Theories -- 6.The Internal Logic of Constructive Mathematics -- 7.The Internal Consistency of Arithmetic with Infinite Descent. A Syntactical Proof -- 8 Conclusion. Arithmetism versus Logicism or Kronecker contra Frege -- References. 
<br/><br/><label>ISBN: </label>9783319220871 
<br/><br/><label>LC Class. No.: </label>QA8.9-10.3