The foundations of intuitionistic mathematics : especially in relation to recursive functions / Stephen Cole Kleene, Richard Eugene Vesley

Auteur principal : Kleene, Stephen Cole, 1909-1994, AuteurCo-auteur : Vesley, Richard Eugene, 1932-2016, AuteurType de document : MonographieCollection : Studies in logic and the foundations of mathematicsLangue : anglais.Pays: Pays Bas.Éditeur : Amsterdam : North-Holland, 1965Description : 1 vol. (VIII-206 p.) ; 23 cmISBN: s.n..ISSN: 0049-237X.Bibliographie : Bibliogr. Index.Sujet MSC : 03F55, Proof theory and constructive mathematics, Intuitionistic mathematics
03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1
03 KLE (Browse shelf(Opens below)) Available 06710-01

Bibliogr. Index

There are no comments on this title.

to post a comment.