Approaches to natural language
Jaakko Hintikka
Fondements d'une théorie du langage
Information and inference
Lingua Universalis vs. Calculus Ratiocinator :
On Gödel
The intentions of intentionality and other new models for modalities
