Bibliographie
W. Buchholz, S. Feferman et al., Iterated Inductive Definitions and Subsystems of Analysis, Lecture Notes in mathematics, vol. 897, Springer Verlag, Berlin, 1982
La Démonstration mathématique dans l’histoire, ouvr. coll., I.R.E.M. de Besançon et I.R.E.M. de Lyon, Besançon, 1989
J.-Y. Girard, Les Démonstrations de cohérence de l'arithmétique, I.R.E.M., Villetaneuse, 1980
Proof Theory and Logical Complexity, Bibliopolis, Naples, 1983
« La Théorie de la démonstration, du programme de Hilbert à la logique linéaire », in Leçons de mathématiques d’aujourd’hui, vol. 2, Cassini, Paris, 2003
S. C. Kleene, Logique mathématique, J. Gabay, Paris, 1987
D. Prawitz, Natural Deduction, Almqvitz & Wiksell, Stockholm, 1965.
Retour en haut
… pour nos abonnés, l'article se prolonge sur 9 pages…
