Recursive analysis / R. L. Goodstein

Auteur principal : Goodstein, Reuben Louis, 1912-1985, AuteurType de document : MonographieCollection : Studies in logic and the foundations of mathematicsLangue : anglais.Pays: Pays Bas.Éditeur : Amsterdam : North-Holland, 1961Description : 1 vol. (VIII-138 p.) ; 22 cmISBN: s.n..ISSN: 0049-237X.Bibliographie : Bibliogr. p. 131-135. Index.Sujet MSC : 03F60, Proof theory and constructive mathematics, Constructive and recursive analysis
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 GOO (Browse shelf(Opens below)) Available 04145-01

Bibliogr. p. 131-135. Index

There are no comments on this title.

to post a comment.