Principes de logique théorique

Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Principes de logique théorique
Langue
AllemandVoir et modifier les données sur Wikidata
Auteurs
Wilhelm Ackermann
David HilbertVoir et modifier les données sur Wikidata
Date de parution
Voir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

  • 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

Langford, 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)

  • icône décorative Portail de la logique