m
     
MathOuvrage

H 0 Choice sequences

Troelstra, A.S.

Clarendon Press

1977

ix, 170

19676


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 19676 1022289 GALERIE

Sous-titre : a chapter of intuitionistic mathematics

ISBN10 : 0-19-853163-X

Type de doc : M

Ville d'édition : Oxford

Langue ouvrage : eng

Collection : Oxford logic guides

ISSN Collection : 0953-1173

Class. Math. 1991 : 02Cxx

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

Z