La logique intensionnelle et les langues naturelles Miklos Santha — 1982 Mathématiques et Sciences Humaines