Telecharger Cours

Fondements logiques pour les méthodes formelles

Mots clés : Didactique des mathématiques, logique formelle, cours ... logical deduction is necessarily sterile (does not product new truths) ».



Download