Item #013863 Summaries of Talks presented at the Summer Institute for Symbolic Logic. Cornell University 1957. J. Barkley Rosser, Alonzo Church, A. Tarski, R. L. Vaught, J. H. North, C. Katz, C. Yehling, George E. Collins, Solomon Feferman, Jean W. Butler, Hugo Ribeiro, Peter Sheridan.

Summaries of Talks presented at the Summer Institute for Symbolic Logic. Cornell University 1957

No Place: Institute for Defense Analyses, Publisher, 1960. Cloth. Good. Item #013863
ISBN: noisbn

Stated second edition. Red flexible cloth. 427 pp. A collection of essays summarizing various talks or lectures originally given at Cornell in 1957, focusing on mathematics, mathematical theory and logic as relating to mathematics. This includes a piece by Peter Sheridan on the Fortran Automatic Coding System. Sheridan was a key person in the development of the original Fortran compiler, writing a section that parsed algebraic expressions into code, which would help in the evolution and development of the computer. GOOD condition. General uneven fading to the covers. Minor soiling and scuffing. Light bumping and scuffing to the extremities. Interior toned. Slight bumping/curling to the corners.

Price: $125.00