Cargando…

Towards an arithmetical logic: the arithmetical foundations of logic

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...

Descripción completa

Detalles Bibliográficos
Autor principal: Gauthier, Yvon
Lenguaje:eng
Publicado: Springer 2015
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-319-22087-1
http://cds.cern.ch/record/2112961