Summaries of talks presented at the Summer Institute for Symbolic Logic.
Contributors: Cornell University.; American Mathematical Society.
Edition: 2d ed.
Publisher: Communications Research Division, Institute for Defense Analyses
Published: 1960
Place of publication: [Princeton, N.J.]
Language: eng
Number of pages: 427
Subjects: Metamathematics.; Logic, Symbolic and mathematical.; Machine theory.
Notes: Includes bibliographies.
"Sponsored by the American Mathematical Society under a grant from the National Science Foundation."