m
     
MathOuvrage

H 0 Computability and logic

Boolos, George S. ; Jeffrey, R.C.

Cambridge university Press

1974

x-262

13752

logique mathématique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 13752 1005973 GALERIE

ISBN10 : 0-521-20402-X

Type de doc : M

Ville d'édition : Cambridge

Langue ouvrage : eng

Class. Math. 1991 : 02B05 ; 02B10 ; 02B15 ; 02F15 ; 02F20 ; 02F25

Lien SUDOC : https://www.sudoc.fr/01599659X

Z