m
     
Ouvrage

H 0 Elements of intuitionism

Dummett, Michael (Principal) ; Minio, Roberto, (Assistance)

Clarendon Press

1978

467 p.

978-0-19-853158-6

00000020

03F50 ; 03F55 ; 03F60 ; 03F65

formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix

Ville d'édition : Oxford

Pays d'édition : États-Unis

Langue : Anglais

N° édition : reprint

EAN13 : 9780198531586

ISBN : 0-19-853158-3

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

Collection : Oxford logic guides

Localisation : Ouvrage RdC (DUMM)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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