Research Catalog

Theory of formal systems.

Title
Theory of formal systems.
Author
Smullyan, Raymond M.
Publication
Princeton, N.J., Princeton University Press, 1961.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/textUse in library QA248.5 .S55Off-site

Details

Description
142 p. illus.; 26 cm.
Series Statement
Annals of mathematics studies, 47
Subject
  • Recursive functions
  • Metamathematics
Note
  • "A revision of the author's recent doctoral dissertation--[Princeton]"
Bibliography (note)
  • Includes bibliography.
LCCN
60014063 /L/r84
OCLC
  • ocm00527319
  • SCSB-156578
Owning Institutions
Princeton University Library