Introduction to metamathematics / Stephen Cole Kleene
Type de document : MonographieCollection : Bibliotheca mathematica, 1Langue : anglais.Pays: Pays Bas.Mention d'édition: 3rd reprintÉditeur : Amsterdam : North-Holland, 1962Description : 1 vol. (550 p.) ; 23 cmISBN: s.n..ISSN: 0519-9743.Bibliographie : Bibliogr. p. 517-537. Index.Sujet MSC : 03-02, Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations03F50, Proof theory and constructive mathematics, Metamathematics of constructive systems
03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Monographie | CMI Salle 1 | 03 KLE (Browse shelf(Opens below)) | Available | 00182-01 |
3rd reprint
Bibliogr. p. 517-537. Index
There are no comments on this title.