Choice sequences : a chapter of intuitionistic mathematics / A. S. Troelstra

Auteur principal : Troelstra, Anne Sjerp, 1939-, AuteurType 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 mathematics
03B55, General logic, Intermediate logics
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 TRO (Browse shelf(Opens below)) Available 06584-01

Bibliogr. p. [161]-167. Index

There are no comments on this title.

to post a comment.