10 résultat(s) recherche sur le mot-clé 'théorie de la démonstration'    

Introduction à la logique / René DAVID (DL 2014)

Public ISBD Titre : Introduction à la logique : théorie de la démonstration Type de document : texte imprimé Auteurs : René DAVID, Auteur ; Karim NOUR, Auteur ; Pierre-Louis CURIEN, Préfacier, etc. Mention d'édition : 2e éd. Editeur : Malakoff : Dunod Année de publication : DL 2014 Collection : Sciences Sup, ISSN 1636-2217 Importance : XII-352 p. ISBN/ISSN/EAN : 978-2-10-006796-1 Langues : Anglais Mots-clés : logique mathématique  théorie de la démonstration Note de contenu : index, bibliogr. Introduction à la logique : théorie de la démonstration [texte imprimé] / René DAVID, Auteur ; Karim NOUR, Auteur ; Pierre-Louis CURIEN, Préfacier, etc.  . -  2e éd. . - Malakoff : Dunod, DL 2014 . - XII-352 p.. - (Sciences Sup, ISSN 1636-2217) . ISBN : 978-2-10-006796-1 Langues : Anglais Mots-clés : logique mathématique  théorie de la démonstration Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
23041	DAV/02/11186	Livre	Recherche	Salle	Disponible

Les fondements des mathématiques / A. HEYTING (1955)

Public ISBD Titre : Les fondements des mathématiques : intuitionnisme, théorie de la démonstration Type de document : texte imprimé Auteurs : A. HEYTING, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. 009 Importance : 91 p. Langues : Français Mots-clés : intuitionnisme  théorie de la démonstration  fondement des mathématiques Note de contenu : bibliogr. Les fondements des mathématiques : intuitionnisme, théorie de la démonstration [texte imprimé] / A. HEYTING, Auteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 91 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 009) . Langues : Français Mots-clés : intuitionnisme  théorie de la démonstration  fondement des mathématiques Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5501	HEY/02/x621	Livre	Recherche	Salle	Disponible

Intuitionisme et théorie de la démonstration / Jean LARGEAULT (1992)

Public ISBD Titre : Intuitionisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl Type de document : texte imprimé Auteurs : Jean LARGEAULT, Editeur scientifique Editeur : Paris : Librairie philosophique J. Vrin Année de publication : 1992 Collection : MATHESIS, ISSN 1147-4920 Importance : 566 p. ISBN/ISSN/EAN : 978-2-7116-1059-4 Note générale : Textes réunis, traduits et présentés par Jean Largeault Langues : Français Mots-clés : intuitionisme  théorie de la démonstration  formalisme mathématique  logique mathématique non classique Note de contenu : bibliogr. Intuitionisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl [texte imprimé] / Jean LARGEAULT, Editeur scientifique . - Paris (75005) : Librairie philosophique J. Vrin, 1992 . - 566 p.. - (MATHESIS, ISSN 1147-4920) . ISBN : 978-2-7116-1059-4 Textes réunis, traduits et présentés par Jean Largeault Langues : Français Mots-clés : intuitionisme  théorie de la démonstration  formalisme mathématique  logique mathématique non classique Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
22198	LAR/00A30/10461	Livre	Recherche	Salle	Disponible

Beweistheorie / Karl SCHÜTTE (1960)

Public ISBD Titre : Beweistheorie Type de document : texte imprimé Auteurs : Karl SCHÜTTE, Auteur Editeur : New York : Springer-Verlag Année de publication : 1960 Collection : Grundlehren der mathematischen wissenschaften num. 103 Importance : X-355 p. Langues : Allemand Catégories : 03FXX 68C01 Mots-clés : théorie de la démonstration  théorie de la preuve Beweistheorie [texte imprimé] / Karl SCHÜTTE, Auteur . - New York : Springer-Verlag, 1960 . - X-355 p.. - (Grundlehren der mathematischen wissenschaften; 103) . Langues : Allemand Catégories : 03FXX 68C01 Mots-clés : théorie de la démonstration  théorie de la preuve

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
86	SCH/02/1425	Livre	Recherche	Salle	Disponible

Hilbert et la notion d'existence en mathématiques / Jacqueline BONIFACE (2004)

Public ISBD Titre : Hilbert et la notion d'existence en mathématiques Type de document : texte imprimé Auteurs : Jacqueline BONIFACE, Auteur Editeur : Paris : Librairie philosophique J. Vrin Année de publication : 2004 Collection : MATHESIS, ISSN 1147-4920 Importance : 308 p. ISBN/ISSN/EAN : 978-2-7298-1142-6 Langues : Français Mots-clés : philosophie des mathématiques  notion d'existence  théorème d'existence  axiomatique  théorie de la démonstration Note de contenu : bibliogr. Hilbert et la notion d'existence en mathématiques [texte imprimé] / Jacqueline BONIFACE, Auteur . - Paris (75005) : Librairie philosophique J. Vrin, 2004 . - 308 p.. - (MATHESIS, ISSN 1147-4920) . ISBN : 978-2-7298-1142-6 Langues : Français Mots-clés : philosophie des mathématiques  notion d'existence  théorème d'existence  axiomatique  théorie de la démonstration Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
i541	BON/00A30/i541	Livre	Recherche	Salle	Disponible

Interactive models of computation and program behaviour (2009)

Permalink

On the estimation of the length of normal derivations / Luiz Carlos P. D. PEREIRA (Cop. 1982)

Permalink

Proof and proving in mathematics education / Gila HANNA (Cop. 2012)

Permalink

Proof theory / Karl SCHÜTTE (1977)

Permalink

Theorems and counterexamples in mathematics / Bernard R. GELBAUM (Cop. 1990)

Permalink