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, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
03D35, Computability and recursion theory, Undecidability and degrees of sets of sentences
03B25, General logic, Decidability of theories and sets of sentences
03F65, 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.