m
     
MathOuvrage

H 0 Techniques of admissible recursion theory

H

Chong, C.T.

Springer

1984

vii, 214

21627

récursivité ; logique

https://doi.org/10.1007/BFb0099164


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 21627 1007619 GALERIE

ISBN10 : 3-540-13902-8

Type de doc : M

Ville d'édition : Berlin

Langue ouvrage : eng

Collection : Lecture notes in mathematics

N° dans la collection : 1106

ISSN Collection : 0075-8434

Class. Math. 1991 : 03Dxx

Lien SUDOC : https://www.sudoc.fr/005401356

Z