Research Catalog

Theory of formal systems

Title
Theory of formal systems / by Raymond M. Smullyan.
Author
Smullyan, Raymond M.
Publication
Princeton : Princeton University Press, 1961 [i.e. pref. 1962]

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/textUse in library QA248.5 .S55 1962Off-site

Details

Description
vii, 147 p. : ill.; 24 cm.
Series Statement
Annals of mathematics studies ; 47
Subject
  • Recursive functions
  • Metamathematics
Note
  • "A revision of the author's doctoral dissertation--[Princeton]"
  • Includes index.
Bibliography (note)
  • Bibliography: p. 141-142.
OCLC
  • ocm04873323
  • SCSB-274549
Owning Institutions
Princeton University Library