paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 03145836XCopier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/03145836X/idCopier cet URI
Notice de type Rameau

Point d'accès autorisé

Théorie de la démonstration

Variantes de point d'accès

Démonstration, Théorie de la
[Nom commun]
MSC 03F03
[Nom commun]
Preuve, Théorie de la
[Nom commun]
Théorie de la preuve
[Nom commun]

Notices d'autorité liées

Autre   Assistants de preuve - Voir aussi
  Incomplétude, Théorèmes d'
  Logique mathématique

Source

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

Identifiants externes

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb122670310

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

Terme équivalent dans un autre système : Proof theoryDate de consultation du référentiel ou de la classification externe : 2017-02-09URI : http://id.loc.gov/authorities/subjects/sh85107437Code du système ou de la classification utilisé : LCSH

Informations sur la notice

Identifiant de la notice : 03145836X
RCR créateur de la notice : 0004
Date de création : 14-10-1992
RCR dernier modificateur de la notice : 341720001
Date de dernière modification : 16-06-2021 à 20 h 25

... Références liées : ...