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.

Verlag: Institute for Defense Analyses, Publisher, No Place, 1960

Beschreibung

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. Bestandsnummer des Verkäufers 013863

Bibliografische Details

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

Verlag: Institute for Defense Analyses, Publisher, No Place

Erscheinungsdatum: 1960

Einband: Cloth

Zustand: Good