Title: Internal Logic - Foundations of Mathematics from Kronecker to Hilbert (SYNTHESE LIBRARY Volume 310)