Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Titre(s) : Handbook of recursive mathematics [Texte électronique] / edited by Yu. L. Ershov [and others] ; associate editor, V.M. Marek
Publication : Amsterdam ; New York : Elsevier, 1998
Description matérielle : 1 ressource dématérialisée
Collection : Studies in logic and the foundations of mathematics ; v. 138-139
Note(s) : Includes bibliographical references
Autre(s) auteur(s) : Ershov, I︠U︡riĭ Leonidovich. Fonction indéterminée
Sujet(s) : Calcul formel
Récursivité, Théorie de la
Récursivité, Théorie de la
Genre ou forme : Guides pratiques
Indice(s) Dewey :
511.35 (23e éd.) = Théorie de la récursivité
Identifiants, prix et caractéristiques : ISBN 9780444500038 . - ISBN 9780444501066
Identifiant de la notice : ark:/12148/cb44725066s
Notice n° :
FRBNF44725066
(notice reprise d'un réservoir extérieur)
Table des matières : v. 1. Recursive model theory ; v. 2. Recursive algebra, analysis and combinatorics.