À propos du modèle Liste de définitions des Principia Mathematica
Ce document utilise le package principia, qui prend en charge la notation logique péanienne des volumes I à III des Principia Mathematica de 1910 de Whitehead et Russell. L'exemple de huit pages est une liste de définitions numérotées dans le style du livre (par exemple *1·01), avec des symboles pour l'implication, la négation, les descriptions et les classes. Il est construit comme un livre avec amsmath, amssymb, mathrsfs, enumitem et hyperref.
- Numérotation Principia telle que *14·01
- Symboles logiques en notation de Peano
- Mise en page de classe book
- Liens hyperref
Comment l’utiliser
- 1Ouvrez-le dans Texeno comme votre propre projet, avec tous les fichiers en place.
- 2
