m
     
Ouvrage

H 0 Choice sequences :
a chapter of intuitionistic mathematics

Troelstra, A. S. (Principal)

Clarendon Press

1977

170 p.

978-0-19-853163-0

00000133

03B10 ; 03B20 ; 03F55

logique des prédicats # mathématique intuitioniste # opération logique # suite du choix

Ville d'édition : Oxford

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780198531630

ISBN : 0-19-853163-X

Collation : Bibliogr. ; Index ; ix#24 cm#rel.

Collection : Oxford logic guide

Localisation : Ouvrage RdC (TROE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00000133 [disponible]
Z