Choice sequences : a chapter of intuitionistic mathematics / A. S. Troelstra
Type de document : MonographieLangue : anglais.Pays: Grande Bretagne.Éditeur : Oxford : Clarendon Press, 1977Description : 1 vol. (170 p.) ; 24 cmISBN: 9780198531630.Bibliographie : Bibliogr. p. [161]-167. Index.Sujet MSC : 03F55, Proof theory and constructive mathematics, Intuitionistic mathematics03B55, General logic, Intermediate logics
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
CMI Salle 1 | 03 TRO (Browse shelf(Opens below)) | Available | 06584-01 |
Bibliogr. p. [161]-167. Index
There are no comments on this title.