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

Publisher City : Cambridge ; London ; Melbourne

Publisher country : Grande-Bretagne

Language : English

EAN13 : 9780521318020

ISBN : 0-521-31802-5

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

Series : London mathematical society lecture note series

Nb in series : 0097

Location : Collection 1er étage

Notes : Double L10967 et L17436 don SMAI

Book type : Monographie

Availability : empruntable

Level of authorization : Public

Copies