CIRM - Videos & books Library - From sets and types to topology and analysis :<br>towards practicable foundations for constructive mathematics

Ouvrage

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

Date de parution : 2005

Nbre/N° de page : 350 p.

ISBN : 978-0-19-856651-9

Cote : 00028734

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

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00028734	[disponible]