TY - BOOK AU - AU - Institute For Defense Analyses AU - American Mathematical Society TI - Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957 U1 - 164.082 PY - 1960/// CY - 2nd PB - Institute For Defense Analyses KW - Symbolic logic N1 - Sponsored By American Mathematical Society Under A Grant From The National Foundations ER -