Téléchargement au format .pdf

306 Bibliographie
[Bra86]
[Can32]
Brandon B. R., Frege's Technical Concepts in Essays on the Philosophical
and Foundational Work of Gottlob Frege, ed. Haapararita
L. and Hintikka J., D. Reidel Publishing Company, 1986.
Cantor G. Gesammelte Abhandlungen mathematischen und philosophischen
Inhalts, edited by Ernst Zermelo (Springer Berlin),
reprinted 1962 (Olms, Hildesheim).
[Cham98] Chambreuil M. Semantiques , (sous la direction de), Hermes, 1998.
[Chu41]
[Chu96]
Church A. The calculi of Lambda Conversion, Princeton Univ.
Press, 1941.
Church A., Introduction to Mathematical Logic, Princeton Univ.
Press, 1996.
[Cro95] Crocco G. Approches logiques du raisonnement taxinomique, in
Methodes logiques pour les sciences cognitives, Hermes, Paris,
1995.
[Cul90]
[Cul99a]
[Cul99b]
[Cul99c]
[Cur58]
[Cur72]
[DCa97]
[DCo97]
Culioli A. Pour une linguistique de l'enonciation - Operations et
representation, tome 1, 0phrys, 1990.
Culioli A. Pour une linguistique de l'enonciation - Formalisation
et operations de reperage, tome 2, Ophrys, 1990.
Culioli A. Pour une linguistique de l'enonciation - Domaine notionel,
tome 3, Ophrys, 1990.
Culioli A. Note sur \determination" et \quantication" : denition
des operations d'extraction et de echage, in Antoine Culioli, Les
Operations de Determination / Quantication / Qualication, Deschamps
/ Guillermin- Flesher, 1999.
Curry B. H., Feys R. Combinatory Logic, vol.I, North Holland,
1958.
Curry B. H., Hindley J.R., Seldin J.P. Combinatory Logic, vol.II,
North Holland, 1972.
De Castro Martins A. T. A Syntactical and Semantical Uniform
treatment for the IDL and LEI Nonmonotonic Systems, These de
doctorat, Universite Federale de Pernambuco, Recife, 1997.
Da Costa N. C. A., Beziau J.-Y., Bueno O. Paraconsistent Logic
inaHistorical Perspective, Technical Report 15/97, LNCC, 1997.