Analysis and synthesis in mathematics : - Otte, Michael 1938-; Panza, Marco (Boston studies in the philosophy of science ;, 1997)