Téléchargement au format .pdf

312 Bibliographie
[Hin86]
[Hou93]
Hindley, J. R., Seldin J., Introduction to Combinators and Lambda-
Calculus , Cambridge Univ. Press, 1986.
Houde O., Mieville D.Pensee logico-mathematique, Nouveaux objets
interdisciplinaires, Press. Univ. de France, Paris, 1993.
[Hus13] Husserl E. Logische Untersuchungen, Halle, Max Niemeyer, 1913.
[Jac83] Jackendo L. Semantic and Cognition, MIT Press, Cambridge,
1983.
[Jac80] Jacob P. De Vienne a Cambridge, (sous la direction de) Gallimard,
1980.
[Kan90]
[Kee85]
[Kee86]
Kanellos I., Contributions a larepresentation des concepts: fondemements
logiques et modelisation des processus de categorisation
cognitive, these de doctorat, EHESS, CAMS, 1990.
Keenan E.L., Faltz L. Boolean Semantics for Natural Language,
Dordrecht, Reidel, 1985.
Keenan E.L., Stavi J. A Semantic Characterization of Natural Language
Determiners, Linguistics and Philosophy, 9, 253-326, 1986.
[Kee97a] Keenan E.L. The Semantics of Determiners, in S. Lappin (ed),
The Handbook of Contemporary Semantic Theory, Blackwell Publishers,
1997.
[Kee97b]
[Kle64]
Keenan E.L., Westerstahl D. Generalized Quantiers in Linguistics
and Logic, in J.Van Benthem and A.Ter Meulen (eds), Handbook
of Language & Logic, North Nolland, 1997.
Kleene C. S. Introduction to metamathematics, North-holland Publishing
Co., 1964.
[Kle71] Kleene C. S. Logique mathematique, (traduction de Jean Largeault),
Armand Colin, Paris, 1971.
[Kne88] Kneale W., Kneale M. The Development of Logic, Clarendon
Press, 1984, Oxford University Press, 1988.
[Kol95]
Kolaitis, Ph., Vaananen, J. Generalized Quantiers and Pebble
Games on Finite Structures, Ann Pure Appl. Logic 74, 23-75,
1995.