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, 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.
Current location Call number Status Date due Barcode
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.