Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 2 from your keywords: author=GAUTHIER, Yvon
cover
Towards an Arithmetical Logic The Arithmetical Foundations of Logic
Comment Share
GAUTHIER, Yvon

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…

Edition
-
ISBN/ISSN
978-3-319-22087-1
Collation
-
Series Title
-
Call Number
-
cover
Towards an Arithmetical Logic
Comment Share
GAUTHIER, Yvon

This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…

Edition
1
ISBN/ISSN
978-3-319-22087-1
Collation
XI, 184
Series Title
Studies in Universal Logic
Call Number
-