TURING, A. COMPUTABILITY AND LAMMA-DEFINABILITY, IN JOURNAL OF SYMBOLIC LOGIC, DECEMBER 1937

8vo (248 x 167mm.), bound with numbers 1, 3 and 4 of the same year, contemporary blue cloth, minor browning, slight wear to cloth

bought from Elgen Books, Rockville Centre, NY, 1995

Tomash & Williams T59; Origins of Cyberspace 395

Condition is described in the main body of the cataloguing where appropriate
"In response to your inquiry, we are pleased to provide you with a general report of the condition of the property described above. Since we are not professional conservators or restorers, we urge you to consult with a restorer or conservator of your choice who will be better able to provide a detailed, professional report. Prospective buyers should inspect each lot to satisfy themselves as to condition and must understand that any statement made by Sotheby's is merely a subjective, qualified opinion. Prospective buyers should also refer to any Important Notices regarding this sale, which are printed in the Sale Catalogue.
NOTWITHSTANDING THIS REPORT OR ANY DISCUSSIONS CONCERNING A LOT, ALL LOTS ARE OFFERED AND SOLD AS IS" IN ACCORDANCE WITH THE CONDITIONS OF BUSINESS PRINTED IN THE SALE CATALOGUE."

First appearance of Turing's important paper proving that his own concept of computability and that of Alonzo Church's λ-Calculus are in fact equivalent. Both theses of computability had been developed independently, both arriving at the same fundamental mathematical result.