Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Kohlenbach, U.  Voir les notices liées en tant qu'auteur

Titre(s) : Applied proof theory [Texte imprimé] : proof interpretations and their use in mathematics / U. Kohlenbach

Publication : Berlin : Springer, cop. 2008

Description matérielle : 1 vol. (XIX-532 p.) ; 24 cm

Collection : Springer monographs in mathematics, ISSN 1439-7382

Lien à la collection : Springer monographs in mathematics  Voir toutes les notices liées

Note(s) : Bibliogr. p. 507-523

Sujet(s) : Théorie de la démonstration  Voir les notices liées en tant que sujet
Approximation, Théorie de l'  Voir les notices liées en tant que sujet
Opérateurs non linéaires  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 978-3-540-77532-4 (rel.)

Identifiant de la notice  : ark:/12148/cb41344405r

Notice n° :  FRBNF41344405 (notice reprise d'un réservoir extérieur)