Détail de l'auteur
Auteur P. Novikov |
Documents disponibles écrits par cet auteur (1)
![Tris disponibles](./images/orderby_az.gif)
ouvrage
Algèbre des propositions - Calcul des propositions - Logique des prédicats - Arithmétique axiomatique - Eléments de la théorie des démonstrations.