Principes de logique théorique
livre de Wilhelm Ackermann
Les Principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit du premier livre qui présente de façon élémentaire et rigoureuse ce qui est maintenant appelé logique du premier ordre.
Principes de logique théorique
Langue | |
---|---|
Auteurs | |
Date de parution |
Référence
modifier- David Hilbert et Wilhelm Ackermann (1928). Grundzüge der theoretischen Logik (Principes de logique théorique). Springer-Verlag, (ISBN 0-8218-2024-9). Ce texte a eu six éditions en allemand (1928, 1938, 1949, 1959, 1967), la dernière ayant paru en 1972 (6e éd.).
Lien externe
modifierLangford, C. H, « Review of Grundzüge der theoretischen Logik by D. Hilbert and W. Ackermann », Bull. Amer. Math. Soc., vol. 36, no 1, , p. 22–25 (lire en ligne)