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
Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Current library Call number Status Date due Barcode
Salle 1
03 SMU (Browse shelf(Opens below)) Available 00398-01

Bibliogr. p. 141-142. Notes bibliogr.

There are no comments on this title.

to post a comment.