Normal view MARC view ISBD view

Theory of formal systems / Raymond M. Smullyan

Auteur principal : Smullyan, Raymond Merrill, 1919-2017, AuteurType de document : MonographieCollection : Annals of mathematics studies, 47Langue : anglais.Pays : Etats Unis.Mention d'édition: revised editionÉditeur : Princeton : Princeton University Press, 1961Description : 1 vol. (VIII-147 p.) : fig. ; 24 cmISBN : 9780691080475.ISSN : 0066-2313.Bibliographie : Bibliogr. p. 141-142. Notes bibliogr..Sujet MSC : 03D20, Mathematical logic and foundations -- Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03D35, Mathematical logic and foundations -- Computability and recursion theory, Undecidability and degrees of sets of sentences
03B25, Mathematical logic and foundations -- General logic, Decidability of theories and sets of sentences
03F65, Mathematical logic and foundations -- Proof theory and constructive mathematics, Other constructive mathematics
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 SMU (Browse shelf) Available 00398-01

Bibliogr. p. 141-142. Notes bibliogr.

There are no comments for this item.

Log in to your account to post a comment.