Sur les éléments de construction de la logique mathématique
Mathématiques et Sciences Humaines (1990)
- Volume: 112, page 5-26
- ISSN: 0987-6936
Access Full Article
topAbstract
topHow to cite
topReferences
top- Barendregt, H.P., The lambda calculus, its syntax and semantics, Amsterdam, North-Holland,1984. Zbl0551.03007MR774952
- Behmann, H., "Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem ", Mathematische Annalen, 86, (1922), 163-229. Zbl48.1119.02MR1512087JFM48.1119.02
- " Der Prädikatenkalkül mit limitierten Variablen", The journal of symbolic logic, 24, june 1959, 112-140. MR111683
- Blanche, R., La logique et son histoire d'Aristote à Russell, Paris, A. Colin,1970.
- Church, A., "A bibliography of symbolic logic (1666-1935)", The journal of symbolic logic, 1, number 4, dec. 1936, 121-218, add. et corr., 3, number 4, dec. 1938, 178-212. The calculi of lambda-conversion, Princeton University Press, 1941. Zbl0016.09702JFM62.1046.03
- Curry, H.B., "Grundlagen der kombinatorischen Logik", American journal of mathematics, 52, (1930), 509-536, 789-834."Combinatory logic", Contemporary philosophy, I, Firenze, La nuova Italia éditrice, 1968. Zbl56.0048.02MR1506768JFM56.0048.03
- Curry, H.B., et Feys, R., Combinatory logic, Amsterdam, North-Holland, 1968. Zbl0175.27601MR244051
- Frege, G., Begriffsschrift, Halle, 1879 (trad. angl. in Van Heijenoort). Grundgesetze der Arithmetik, Iéna, I, 1893, II,1903 (trad. angl. partielle in Furth, The basic laws of arithmetic, University of California Press, 1964. "Qu'est-ce qu'une fonction ?" (1904), trad. Imbert C., in Ecrits logiques et philosophiques, Paris, Le Seuil, 1970. MR263601
- Ginisti, J.P., "Présentation de la logique combinatoire en vue de ses applications ", Mathém. Inform. et Sc. hum., 103, (1988), 45-66. (Voir erratum à la fin du présent numéro). Zbl0663.03005MR975880
- Janovskaja, S.A., "Fondations des mathématiques et logique mathématique", Les mathématiques en U.R.S.S. pendant les trente années 1917- 1947, Moscou, Leningrad, Ogiz, 1948 (en russe), revue par Kline G.L., in The journal of symbolic logic, 16, 1951, 46-48. Zbl0041.34205
- Kneale, W., et M., The development of logic, Oxford, Clarendon Press, 1964. Zbl0100.00807
- Quine, W.V.O., in Van Heijenoort, 1967, 355-7.
- Reid, C., Hilbert, the story of the life of David Hilbert, Berlin, Springer Verlag,1970. Zbl0192.32601MR1391242
- Van Heijenoort, J., From Frege to Gödel, a source book in mathematical logic, 1878-1931, Harvard University Press, 1967. Zbl0183.00601MR209111
- Whitehead A.N., Russell B., Principia Mathematica, Cambridge, 1ère éd., vol. 1, 1910, 2e éd.,1925. JFM41.0083.02