Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957 - Institute For Defense Analyses; American Mathematical Society (2nd Institute For Defense Analyses, 1960)
Sponsored By American Mathematical Society Under A Grant From The National Foundations
Keywords: Symbolic logic