m
     
Ouvrage

H 0 From sets and types to topology and analysis :
towards practicable foundations for constructive mathematics

Crosilla, Laura (Editeur) ; Schuster, Peter (Editeur)

Clarendon Press

2005

350 p.

978-0-19-856651-9

00028734

03-06 ; 00B25 ; 03F55 ; 03F60 ; 03F65

logique # théorie des ensembles # analyse constructive # mathématiques constructives # mathématiques intuitives

Ville d'édition : N. Y. ; Oxford

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780198566519

ISBN : 0-19-856651-4

Collation : 24 cm#rel. ; Index

Collection : Oxford logic guides

N° de collection : 0048

Localisation : Ouvrages RdC (From)

Type d'ouvrage : Anonyme

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00028734

[disponible]
Z