Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Titre(s) : Recursion theory [Texte imprimé] / ed. G. Hinman
Titre d'ensemble : [Omega]-bibliography of mathematical logic ; 4
Lien au titre d'ensemble : Appartient à : [Omega]-bibliography of mathematical logic
Publication : Berlin ; New York ; Paris [etc.] : Springer, cop. 1987
Description matérielle : XLV-697 p. ; 28 cm
Collection : Perspectives in mathematical logic
Lien à la collection : Perspectives in mathematical logic
Note(s) : Index
Autre(s) auteur(s) : Hinman, Peter G.. Éditeur scientifique
Sujet(s) : Logique mathématique
Récursivité, Théorie de la
Genre ou forme : Bibliographie
Indice(s) Dewey :
016.511 3 (23e éd.) = Bibliographies et catalogues spécialisés - Logique mathématique ; 016.511 35 (23e éd.) = Bibliographies et catalogues spécialisés - Théorie de la récurrence
Identifiants, prix et caractéristiques : ISBN 3-540-15523-6 (Berlin). - ISBN 0-387-15523-6 (New York) (rel.)
Identifiant de la notice : ark:/12148/cb37540489q
Notice n° :
FRBNF37540489