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
Affiner la recherche Interroger des sources externesBeweistheorie (1960) / Karl SCHÜTTE
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 (ger) Catégories : 03FXX
68C01Mots-clés : théorie de la démonstration théorie de la preuve Beweistheorie [texte imprimé] / Karl SCHÜTTE, Auteur . - Springer-Verlag, 1960 . - X-355 p.. - (Grundlehren der mathematischen wissenschaften; 103) .
Langues : Allemand (ger)
Catégories : 03FXX
68C01Mots-clés : théorie de la démonstration théorie de la preuve Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 86 SCH/02/1425 Livre Recherche Salle Disponible Index mathematischer tafelwerke und tabellen (1955) / Karl SCHÜTTE
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 (ger) 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 (ger)
Mots-clés : table mathématique Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 11234 SCH/98/1564 Livre Recherche Salle Disponible Proof theory (1977) / Karl SCHÜTTE
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 (eng) Langues originales : Allemand (ger) 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 . - Springer-Verlag, 1977 . - XIII-302 p.. - (Grundlehren der mathematischen wissenschaften, ISSN 0072-7830; 225) .
ISBN : 978-3-540-07911-8
Langues : Anglais (eng) Langues originales : Allemand (ger)
Catégories : 03FXX Mots-clés : théorie de la démonstration théorie de la preuve Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2443 SCH/02/4956 Livre Recherche Salle Disponible Vollständige systeme modaler und intuitionistischer logik (Cop. 1968) / Karl SCHÜTTE
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 (ger) 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 . - Springer-Verlag, Cop. 1968 . - VI-87 p. - (Engebnisse der Mathematik und Ihrer Grenzgebiete, ISSN 0071-1136; 42) .
Langues : Allemand (ger)
Catégories : 03-xx Mots-clés : logique mathématique logique modale logique intuitionniste Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4771 SCH/02/3902 Livre Recherche Salle Disponible