A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'calcul des relations' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Tableau systems for first order number theory and certain higher order theories / Sue TOLEDO (1975)
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 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 . - Berlin : Springer-Verlag, 1975. - (Lecture Note in Mathematics, ISSN 0075-8434; 447) .
ISBN : 978-3-540-07149-5
Langues : Anglais
Catégories : 02-02
02A05
02B15
02D99
02H15Mots-clés : preuve théorie des nombres calcul des relations logique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3070 LN 447 Livre Recherche Salle Disponible