Normal view MARC view ISBD view

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..Bibliographie : Bibliogr. Index.Sujet MSC : 03F55, Mathematical logic and foundations -- Proof theory and constructive mathematics, Intuitionistic mathematics
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 KLE (Browse shelf) Available 06710-01

Bibliogr. Index

There are no comments for this item.

Log in to your account to post a comment.