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

Rosser, J. Barkley; Church, Alonzo; Tarski, A.; Vaught, R.L.; North, J.H.; Katz, C.; Yehling, C.; Collins, George E.; Feferman, Solomon; Butler, Jean W.; Ribeiro, Hugo; Sheridan, Peter et al.

Published by Institute for Defense Analyses, Publisher, No Place, 1960

About this Item

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. Seller Inventory # 013863

Bibliographic Details

Title: Summaries of Talks presented at the Summer ...

Publisher: Institute for Defense Analyses, Publisher, No Place

Publication Date: 1960

Binding: Cloth

Condition: Good