Normal view MARC view ISBD view

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, Mathematical logic and foundations -- Proof theory and constructive mathematics, Intuitionistic mathematics
03B55, Mathematical logic and foundations -- General logic, Intermediate logics
03-02, Mathematical logic and foundations, Research exposition (monographs, survey articles)
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
03 TRO (Browse shelf) Available 06584-01

Bibliogr. p. [161]-167. Index

There are no comments for this item.

Log in to your account to post a comment.