Portail Documentaire
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Titre : | Mathématiques et logique chez Leibniz |
Titre original: | Mathematics and logic in Leibniz |
Auteurs : | Jacques Bouveresse |
Type de document : | Article : texte imprimé |
Dans : | Revue d'histoire des sciences (2, Vol. 54 Avril-Juin 2001) |
Mots-clés: | Mathématiques ; logique ; fondements ; formalisation ; complétude ; décidabilité ; mathematics ; logic ; foundations ; formalization ; completeness ; decidability |