A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Johan MOLDESTAD |
Documents disponibles écrits par cet auteur
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![](./images/orderby_az.gif)
Computations in higher types / Johan MOLDESTAD (1977)
Titre : Computations in higher types Type de document : monographie Auteurs : Johan MOLDESTAD, Auteur Editeur : Berlin : Springer-Verlag Année de publication : 1977 Collection : Lecture Note in Mathematics, ISSN 0075-8434 num. 574 ISBN/ISSN/EAN : 978-3-540-08132-6 Note générale : Index Langues : Anglais Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Computations in higher types [monographie] / Johan MOLDESTAD, Auteur . - Berlin : Springer-Verlag, 1977. - (Lecture Note in Mathematics, ISSN 0075-8434; 574) .
ISBN : 978-3-540-08132-6
Index
Langues : Anglais
Catégories : 02F27
02F29Mots-clés : logique récursivité calculabilité Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5229 LN 574 Livre Recherche Salle Disponible