From Dedekind to Godel : - Hintikka, Jaakko 1929- (Synthese library, 1995)