Towards an arithmetical logic :
Gauthier, Yvon,
Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier. - xi, 184 páginas : 9 ilustraciones - Studies in Universal Logic, 2297-0282 .
Springer eBooks
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.
9783319220871
QA8.9-10.3
Towards an arithmetical logic : the arithmetical foundations of logic / Yvon Gauthier. - xi, 184 páginas : 9 ilustraciones - Studies in Universal Logic, 2297-0282 .
Springer eBooks
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.
9783319220871
QA8.9-10.3