A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Sue TOLEDO
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesTableau systems for first order number theory and certain higher order theories (1975) / Sue TOLEDO
Titre : Tableau systems for first order number theory and certain higher order theories Type de document : monographie Auteurs : Sue TOLEDO, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1975 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 447 ISBN/ISSN/EAN : 978-3-540-07149-5 Langues : Anglais (eng) Catégories : 02-02
02A05
02B15
02D99
02H15Mots-clés : preuve théorie des nombres calcul des relations logique Note de contenu : bibliogr. Tableau systems for first order number theory and certain higher order theories [monographie] / Sue TOLEDO, Auteur . - Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 447) .
ISBN : 978-3-540-07149-5
Langues : Anglais (eng)
Catégories : 02-02
02A05
02B15
02D99
02H15Mots-clés : preuve théorie des nombres calcul des relations logique Note de contenu : bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3070 LN 447 Livre Recherche Salle Disponible