m
MathOuvrage

H 0 Theory of formal systems

Smullyan, Raymond M.

Princeton university Press

1961

viii, 142 p. ; 23 cm

35288

système formel ; fonction récursive


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 35288 1021096 GALERIE

ISBN10 : 0-691-08047-X

Type de doc : M

Ville d'édition : Princeton NJ

Pays d'édition : us

Langue ouvrage : eng

Collection : Annals of mathematics studies

N° dans la collection : 047

ISSN Collection : 0066-2313

Bibliographie : Bibliogr. p. 141-142

Class. Math. 1991 : 03Dxx

Année du congres : 0

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

Z