Language, truth and logic in mathematics - Jaakko Hintikka (Jaakko Hintikka Selected Papers, 1998)