Normal view MARC view ISBD view

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, Mathematical logic and foundations, Research exposition (monographs, survey articles)
03D20, Mathematical logic and foundations -- Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03F50, Mathematical logic and foundations -- Proof theory and constructive mathematics, Metamathematics of constructive systems
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 05905-01
CMI
Salle R
03 KLE (Browse shelf) Available 05905-02

5th reprint

Bibliogr. p. 517-537. Index

There are no comments for this item.

Log in to your account to post a comment.