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.
Summaries of Talks Presented at the Summer Institute for Symbolic Logic. Cornell University 1957
No Place, Institute for Defense Analyses, Publisher, 1960. Cloth. 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. Good .
Mare Booksellers
Professional sellerBook number: 013863
USD 135.00 [Appr.: EURO 123.25 | £UK 103 | JP¥ 20035]
Keywords: Noisbn Philosophy Mathematics