Principes de logique théorique.html |
| | | ca | | | de | | | en | | | es | | | fr | | | it | | | nl | | | no | | | pl | | | pt | | | ru | | | ro | | | fi | | | sv | | | tr | | | vo | | |
| |  |
 |
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
|
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.
