m
     
MathOuvrage

H 0 Formal number theory and computability

Fisher, Alec

Clarendon Press

1982

xiii, 190

21881

axiomatique des entiers ; calculabilité


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 21881 1002524 ENS DISC

Sous-titre : a workbook

ISBN10 : 0-19-853188-5

Type de doc : M

Ville d'édition : Oxford

Langue ouvrage : eng

Collection : Oxford logic guides

N° dans la collection : 7

ISSN Collection : 0953-1173

Class. Math. 1991 : 30F30 ; 68Cxx

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

Z