m
MathOuvrage

H 0 Computability, complexity, logic

Börger, Egon

North-Holland

1989

xx-592

28673

fonction calculable ; complexité ; logique symbolique ; logique mathématique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 28673 1005904 GALERIE

ISBN10 : 0-444-87406-2

Type de doc : M

Ville d'édition : Amsterdam

Langue ouvrage : eng

Collection : Studies in logic and the foundations of mathematics

N° dans la collection : 128

ISSN Collection : 0049-237X

Class. Math. 1991 : 03Dxx ; 65V05

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

Z