Principes de logique théorique
Un article de Wikipédia, l'encyclopédie libre.
 |
Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).
|
Les principes de logique théorique est un ouvrage de logique écrit en 1928 par Ackermann et Hilbert. Il s'agit de la première présentation rigoureuse de la logique du premier ordre.
[modifier] Références
- 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 édition en allemand, la dernière ayant eu lieu en 1972.
