Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation
Auteur(s) : Bridges, Douglas S. (1945-....)
Richman, Fred (1938-....)
Titre(s) : Varieties of constructive mathematics [Texte imprimé] / Douglas Bridges,... Fred Richman,...
Publication : Cambridge : Cambridge university press, 1988
Description matérielle : X-149 p. ; 23 cm
Collection : London mathematical society lecture note series ; 97
Lien à la collection : London mathematical society lecture notes series
Note(s) : Notes bibliogr. Index
Sujet(s) : Mathématiques constructives
Indice(s) Dewey :
511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives
Identifiants, prix et caractéristiques : ISBN 0-521-31802-5
Identifiant de la notice : ark:/12148/cb37382290b
Notice n° :
FRBNF37382290