A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
6 résultat(s) recherche sur le mot-clé 'théorie de la preuve' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externesBeweistheorie / Karl SCHÜTTE (1960)
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
68C01Mots-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
68C01Mots-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
Titre : Logique et raisonnement Type de document : texte imprimé Auteurs : Michael FREUND, Auteur Editeur : Paris : Ellipses Année de publication : DL 2011 Importance : IX-163 p. ISBN/ISSN/EAN : 978-2-7298-6548-1 Langues : Français Mots-clés : logique mathématique théorie de la preuve raisonnement mathématique Note de contenu : index Logique et raisonnement [texte imprimé] / Michael FREUND, Auteur . - Paris : Ellipses, DL 2011 . - IX-163 p.
ISBN : 978-2-7298-6548-1
Langues : Français
Mots-clés : logique mathématique théorie de la preuve raisonnement mathématique Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1162 FRE/02/i1162 Livre IREM Salle Disponible
Titre : Proof theory Type de document : texte imprimé Auteurs : Karl SCHÜTTE, Auteur ; J. N. CROSSLEY, Traducteur Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Grundlehren der mathematischen wissenschaften, ISSN 0072-7830 num. 225 Importance : XIII-302 p. ISBN/ISSN/EAN : 978-3-540-07911-8 Langues : Anglais Langues originales : Allemand Catégories : 03FXX Mots-clés : théorie de la démonstration théorie de la preuve Note de contenu : index, bibliogr. Proof theory [texte imprimé] / Karl SCHÜTTE, Auteur ; J. N. CROSSLEY, Traducteur . - Berlin : Springer-Verlag, 1977 . - XIII-302 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 225) .
ISBN : 978-3-540-07911-8
Langues : Anglais Langues originales : Allemand
Catégories : 03FXX Mots-clés : théorie de la démonstration théorie de la preuve Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2443 SCH/02/4956 Livre Recherche Salle Disponible Proof theory / Wolfram Pohlers (1989)
Titre : Proof theory : An introduction Type de document : monographie Auteurs : Wolfram Pohlers, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1989 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 1407 Importance : VI-213 p. ISBN/ISSN/EAN : 978-3-540-51842-6 Langues : Anglais Catégories : 03FXX Mots-clés : théorie de la preuve Note de contenu : index, bibliogr. Proof theory : An introduction [monographie] / Wolfram Pohlers, Auteur . - Berlin : Springer-Verlag, 1989 . - VI-213 p.. - (Lecture Note in Mathematics, ISSN 0075-8434; 1407) .
ISBN : 978-3-540-51842-6
Langues : Anglais
Catégories : 03FXX Mots-clés : théorie de la preuve Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 917 LN 1407 Livre Recherche Salle Disponible
Titre : Simplified independence proofs : boolean valued models of set theory Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur Editeur : Amsterdam : Academic Press Année de publication : 1969 Collection : Pure and applied mathematics. A series of monographs and textbooks num. 31 Importance : XV-217 p. Langues : Anglais Mots-clés : logique théorie des ensembles modèle booléen théorie de la preuve Note de contenu : index, bibliogr. Simplified independence proofs : boolean valued models of set theory [texte imprimé] / J. Barkley ROSSER, Auteur . - Amsterdam : Academic Press, 1969 . - XV-217 p.. - (Pure and applied mathematics. A series of monographs and textbooks; 31) .
Langues : Anglais
Mots-clés : logique théorie des ensembles modèle booléen théorie de la preuve Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4453 ROS/02/3820 Livre Recherche Salle Disponible
Permalink
