Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(95)

intuitionisme ; logique ; preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics

Cote : M/A1(70)

algèbre de Lukasiewicz ; fonction récursive ; logique ; preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : HUET f

déductibilité ; langage de programmation ; logique ; preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Actualités scientifiques et industrielles

Cote : LAKATOS p
ISBN/ISSN : 2-7056-1412-5

enseignement des mathématiques ; fondement des mathématiques ; logique ; preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Actualités scientifiques et industrielles

Cote : LAKATOS p
ISBN/ISSN : 2-7056-1412-5

enseignement des mathématiques ; fondement des mathématiques ; logique ; preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Cote : LAK 01
ISBN/ISSN : 0-521-29038-4

enseignement des mathématiques ; fondement des mathématiques ; logique ; preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

V

Die Grundlehren der mathematischen Wissenschaften

Cote : SCHUTTE b

preuve

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Cote : BAF 03

preuve ; collège ; enseignement des mathématiques

... Lire [+]

Sélection

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Cote : BAF 03

preuve ; collège ; enseignement des mathématiques

... Lire [+]

Sélection

Documents preuve 9 résultats

Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y. Troelstra, A. S. | Springer 1969 Nouveau

Proceedings of the summer school in logic Leeds 1967 Löb, M. H. | Springer 1968 Nouveau

Formal structures for computation and deduction Huet, Gérard | INRIA 1986 Nouveau

Preuves et réfutations : essai sur la logique de la découverte mathématique Lakatos, Imre ; Worall, John ; Zahar, Elie ; Balacheff, Nicolas ; Laborde, Jean-Marie | Hermann 1984 Nouveau

Preuves et réfutations : essai sur la logique de la découverte mathématique Lakatos, Imre ; Worall, John ; Zahar, Elie ; Balacheff, Nicolas ; Laborde, Jean-Marie | Hermann 1984 Nouveau

Proofs and refutations : the logic of mathematical discovery Lakatos, Imre | Cambridge university press 1977 Nouveau

Beweistheorie Schütte, Kurt | Springer 1960 Nouveau

Une étude des processus de preuve en mathématique chez des élèves de Collège, volume 2 : thèse Balacheff, Nicolas | Université Joseph Fourier, Grenoble 1 1988 Nouveau

Une étude des processus de preuve en mathématique chez des élèves de Collège, volume 1 : thèse Balacheff, Nicolas | Université Joseph Fourier, Grenoble 1 1988 Nouveau