A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Karl SCHÜTTE |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Beweistheorie / 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 Index mathematischer tafelwerke und tabellen / Karl SCHÜTTE (1955)
Titre : Index mathematischer tafelwerke und tabellen : aus allen gebieten der naturwissenschaften Type de document : texte imprimé Auteurs : Karl SCHÜTTE, Auteur Editeur : Munich : Verlag von R. Oldenbourg Année de publication : 1955 Importance : 143 p. Langues : Allemand Mots-clés : table mathématique Note de contenu : index Index mathematischer tafelwerke und tabellen : aus allen gebieten der naturwissenschaften [texte imprimé] / Karl SCHÜTTE, Auteur . - Munich : Verlag von R. Oldenbourg, 1955 . - 143 p.
Langues : Allemand
Mots-clés : table mathématique Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11234 SCH/98/1564 Livre Recherche Salle Disponible Proof theory / Karl SCHÜTTE (1977)
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 Vollständige systeme modaler und intuitionistischer logik / Karl SCHÜTTE (Cop. 1968)
Titre : Vollständige systeme modaler und intuitionistischer logik Type de document : texte imprimé Auteurs : Karl SCHÜTTE, Auteur Editeur : Berlin : Springer-Verlag Année de publication : Cop. 1968 Collection : Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136 num. 42 Importance : VI-87 p Langues : Allemand Catégories : 03-xx Mots-clés : logique mathématique logique modale logique intuitionniste Note de contenu : index, bibliogr. Vollständige systeme modaler und intuitionistischer logik [texte imprimé] / Karl SCHÜTTE, Auteur . - Berlin : Springer-Verlag, Cop. 1968 . - VI-87 p. - (Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136; 42) .
Langues : Allemand
Catégories : 03-xx Mots-clés : logique mathématique logique modale logique intuitionniste Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4771 SCH/02/3902 Livre Recherche Salle Disponible