CIRM - Videos & books Library - Bibliography of mathematical logic. Vol. IV :<br>recursion theory

Ouvrage

Auteurs : Hinman, G. (Editeur) ; Lenski, Wolfgang (Editeur) ; Muller, Gert H. (Editeur)

Date de parution : 1987

Nbre/N° de page : 697 p.

ISBN : 978-3-540-15523-2

Cote : 00011833

Codes MSC : 00A15 ; 03-XX

logique mathématique # théorie de la récursion

Ville d'édition : Berlin ; Heidelberg ; Paris

Pays d'édition : France ; Allemagne

Langue : Anglais

EAN13 : 9783540155232

ISBN : 3-540-15523-6

Collation : XLV#27 cm#rel.

Collection : Perspectives in mathematical logic

Localisation : Bibliographie de math. RdC

Type d'ouvrage : Biographie

Disponibilité : empruntable ; Desherbé

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00011833	D2017 [disponible]