TY  - BOOK
AU  - Gauthier,Yvon
TI  - Internal logic: foundations of mathematics from Kronecker to Hilbert 
AV  - QA8.4 .G39 2002
PY  - 2002///
CY  - Dordrecht, London
PB  - Kluwer Academic Publishers
KW  - Mathematics
KW  - Philosophy
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -