Introduction to metamathematics / Stephen Cole Kleene

Auteur principal : Kleene, Stephen Cole, 1909-1994, AuteurType de document : MonographieCollection : Bibliotheca mathematica, 1Langue : anglais.Pays: Pays Bas.Mention d'édition: 5th reprintÉditeur : Amsterdam : North-Holland, 1967Description : 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 foundations
03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03F50, Proof theory and constructive mathematics, Metamathematics of constructive systems 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 R 		03 KLE (Browse shelf(Opens below)) Available 05905-01
CMI
Salle R 		03 KLE (Browse shelf(Opens below)) Available 05905-02

5th reprint

Bibliogr. p. 517-537. Index

There are no comments on this title.

to post a comment.