Internal Logic : Foundations of Mathematics from Kronecker to Hilbert /

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proo...

Full description

Bibliographic Details

Main Author:	Gauthier, Yvon
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2002.
Series:	Synthese library ; 310.
Subjects:	Mathematics. Logic. Science > Philosophy. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book