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  -