Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Troelstra, A. S (1939-2019)  Voir les notices liées en tant qu'auteur

Titre(s) : Choice sequences [Texte imprimé] : a chapter of intuitionistic mathematics / by A. S. Troelstra

Publication : Oxford : Clarendon, cop. 1977

Description matérielle : IX-170 p. ; 24 cm

Collection : Oxford logic guides

Lien à la collection : Oxford logic guides  Voir toutes les notices liées

Note(s) : Bibliogr. p. 161-167 . Index

Sujet(s) : Mathématiques intuitionnistes  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-19-853163-X

Identifiant de la notice  : ark:/12148/cb37390207p

Notice n° :  FRBNF37390207