Principes de logique théorique

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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.

Référence[modifier | modifier le code]

  • David Hilbert and Wilhelm Ackermann (1928). Grundzüge der theoretischen Logik (Principes de logique théorique). Springer-Verlag, (ISBN 0-8218-2024-9). Ce texte a eu quatre éditions en allemand, la dernière ayant eu lieu en 1972.

Lien externe[modifier | modifier le code]

Langford, C. H, « Review of Grundzüge der theoretischen Logik by D. Hilbert and W. Ackermann », Bull. Amer. Math. Soc., vol. 36, no 1,‎ (lire en ligne)