Notice RAMEAU

  • Notice
Théorie de la démonstration



Vedette matière nom commun. S'emploie en tête de vedette.

<Employé pour : 
Démonstration, Théorie de la
MSC 03F03
Preuve  , Théorie de la  Ancienne forme retenue
Théorie de la preuve

<<Terme(s) générique(s) :
Logique mathématique

>><<Terme(s) associé(s) : 
Assistants de preuve

>>Terme(s) spécifique(s) : 
Incomplétude, Théorèmes d'

Source(s) : 
Grand dict. encyclopédique Larousse . - Encycl. universalis : http://www.universalis-edu.com (2011-10-06)
Langenscheidts Fachwörterbuch Mathematik / G. Eisenreich, R. Sube, 1996 . - Introduction à la logique : théorie de la démonstration : cours et exercices corrigés / R. David, K. Nour, C. Raffalli, 2003

Domaine(s) : 510

Correspondance(s) : 
- LCSH  (Library of Congress Subject Headings) :  Proof theory  http://id.loc.gov/authorities/subjects/sh85107437

Identifiant de la notice  : ark:/12148/cb122670310
Notice n° :  FRBNF12267031

Création :  92/10/14
Mise à jour :  11/10/06

Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (136)