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: 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, Mathematical logic and foundations, Research exposition (monographs, survey articles)
03F50, Mathematical logic and foundations -- Proof theory and constructive mathematics, Metamathematics of constructive systems
03D20, Mathematical logic and foundations -- Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
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 00182-01

3rd reprint

Bibliogr. p. 517-537. Index

There are no comments for this item.

Log in to your account to post a comment.