analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives

Ville d'édition : Cambridge ; London ; Melbourne

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780521318020

ISBN : 0-521-31802-5

Collation : notes#23 cm.#broch. ; Index

Collection : London mathematical society lecture note series

N° de collection : 0097

Localisation : Collection 1er étage

Notes : Double L10967 et L17436 don SMAI

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires