m
     
Ouvrage

H 0 Foundations of constructive mathematics

Beeson, Michael J. (Principal)

Springer-Verlag

1985

466 p.

978-0-387-12173-4

00008510

03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60

logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne ; États-Unis

Langue : Anglais

EAN13 : 9780387121734

ISBN : 0-387-12173-0

Collation : 25 cm#rel. ; Bibliogr. ; Index ; xxiii

Collection : Ergebnisse der mathematik und ihrer grenzgebiete 3 folge

N° de collection : 0006

Localisation : Ouvrage RdC (BEES)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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