Bibliographie
Un éditeur publie à lui seul la grande majorité des traités et colloques : c'est la North Holland Publishing Company d'Amsterdam, dont la collection Studies in Logic and the Foundations of Mathematics a notablement contribué au développement de la logique depuis le début des années 1950.J. W. Addison, L. Henkin & A. Tarski dir., The Theory of Models, North Holland, Amsterdam, 1965
P. B. Andrews, An Introduction to Mathematical Logic and Type Theory, Academic Press, San Diego (Calif.), 1986
J. Barwise dir., Handbook of Mathematical Logic, North Holland, 1977
C. C. Chang & H. J. Keisler, Model Theory, ibid., 3e éd. 1990
R. Cori & D. Lascar, Logique mathématique, 2 vol., Masson, Paris, 1993
M. Davis dir., The Undecidable, Raven Press, Hewlett (N.Y.), 1965
R. Dedekind, « Was sind und was sollen die Zahlen » (trad. franç. : Les Nombres, que sont-ils, à quoi servent-ils ? Ornicar ?, Navarin, Paris, 1979), 1888
F. Delon éd., Table ronde de logique, Gauthier-Villars, Paris, 1985
A. A. Fraenkel, Y. Bar-Hillel & A. Levy, Foundations of Set Theory, North Holland, 2e éd., 1973
G. Frege, Collected Papers on Mathematics, Logic and Philosophy, Blackwell Publ., Cambridge (Mass.), 1985
Die Grundlagen der Arithmetik, Breslau, 1884 (trad. franç. C. Imbert, Les Fondements de l'arithmétique, Seuil, Paris, 1969)
Grundgesetze der Arithmetik, H. Pohle, Iéna, vol. I, 1893, vol. II, 1903
Écrits logiques et philosophiques, trad. franç. C. Imbert, Seuil, 1971
G. Gentzen, Collected Papers, North Holland, 1969
J.-Y. Girard, Proof Theory and Logical Complexity, Bibliopolis, Naples, 1983
A. G. Hamilton, Logic for Mathematicians, Cambridge Univ. Press, New York, 1988
D. Hilbert, Grundlagen der Geometrie, Teubner, Leipzig-Berlin, 1899
D. Hilbert & W. Ackermann, Grundzüge der theoretischen Logik, Springer, Berlin, 1928
D. Hilbert & P. Bernays, Grundlagen der Mathematik, ibid., vol. I, 1934, vol. II, 1939
H. J. Keisler, Model Theory for Infinitary Logic, North Holland, 1971
S. C. Kleene, Mathematical Logic (Logique mathématique, J. Gabay, Sceaux, 1987), 1971
Introduction to Metamathematics, North Holland, 1971
W. & M. Kneale, The Development of Logic, Clarendon Press, Oxford, 1962
G. T. Kneebone, Mathematical Logic and the Foundations of Mathematics, Van Nostrand, Londres, 1963
G. Kreisel, « Mathematical Logic : What has it done for the philosophy of mathematics ? », in R. Schoenman dir., Bertrand Russel, Philosopher of the Century, Atlantic Little Brown & Co., Boston, 1967
« Bertrand Arthur William Russell, Earl Russell », in Biographical Memoirs of the Royal Society, 1973, pp. 583-680
« What have we learnt from Hilbert's second problem ? », in F. E. Browder dir., Mathematical Developments arising from Hilbert's Problems, I, American Math. Soc., Providence (R. I.), 1976
« Kurt Gödel », in Biographical Memoirs of the Royal Society, 1980, pp. 149-224
G. Kreisel & J. L. Krivine, Éléments de logique mathématique, Dunod, Paris, 1966 (trad. angl., 2e éd., rév., North Holland, 1971)
J. L. Krivine, Théorie axiomatique des ensembles, P.U.F., Paris, 2e éd. 1972
A. Levy, Basic Set Theory, Springer, New-York-Heidelberg, 1979
A. I. Mal'cev, The Metamathematics of Algebraic Systems, North Holland, 1971
Y. I. Manin, A Course in Mathematical Logic, Springer, New York, 1977
A. Mostowski, Thirty Years of Foundational Studies, Blackwell, Oxford, 1966
D. Prawitz, Natural Deduction, Almqvist & Wiksell, Stockholm, 1965
A. Robinson, Introduction to Model Theory, North Holland, 1963
Nonstandard analysis, ibid., 1966, 2e éd., 1974
Selected Papers : vol. I, Model theory and algebra
vol. II, Nonstandard analysis and philosophy, Yale Univ. Press, New Haven, 1979
L. E. Sanchis, Recursive Functionals, North Holland, 1987
K. Schütte, Beweistheorie, Springer, Berlin, 1960
2e éd. rév., trad. angl., 1977
J. R. Shoenfield, Mathematical Logic, Addison-Wesley, New York, 1967
R. Sikorski & H. Rasiowa, The Mathematics of Metamathematics, P.W.N., Varsovie, 1963
R. M. Smullyan, Les Théorèmes d'incomplétude de Gödel, Masson, 1993
First-Order Logic, Springer, Berlin, 1968
A. Tarski, Logique, sémantique, métamathématique, 1923-1944, 2 vol., Armand Colin, Paris, 1972-1974
A. Tarski, A. Mostowski & R. M. Robinson, Undecidable Theories, North Holland, 1953
J. Van Heijenhoort dir., From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931, Harvard Univ. Press, Cambridge (Mass.), 1967
H. Wang, From Mathematics to Philosophy, Routledge & Kegan Paul, Londres, 1974
H. Weyl, « David Hilbert and his mathematical work », in Bull. American Math. Soc., 50, 1944, pp. 612-654
A. N. Whitehead & B. Russell, Principia Mathematica, Cambridge Univ. Press, 1910-1913, 2e éd. 1925-1927
réimpr. 1962.
Retour en haut
