Théorie de la démonstration

Théorie de la démonstration

Export bibliographique

Identifiant IdRef : 03145836X

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

Autres identifiants

Identifiant BNF : FRBNF122670310

Identifiant ARK : 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

Créateur de la notice : 0004

Création : 14-10-1992

Dernier modificateur de la notice : 341720001

Dernière modification : 16-06-2021 à 20 h 25

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