Language, truth and logic in mathematics. - Hintikka, Jaakko (Jaakko Hintikka selected papers ;, 1998)