JF Ptak Science Books LLC Post 2
Church’s Mathematical Logic is offered here in a rarely seen format–namely, the one that was produced, printed and distributed by the members of the class. At the end of the description is an insightful story told by Albert Tucker about the mechanics of producing such a work.
Church, Alonzo: Mathematical Logic, Lectures
by
October 1935-January 1936;
, 1936. 1st edition. 124 leaves 4to.
Original printed wrappers. Very good condition. $2,000.00
This is the Library of Congress’ copy, with the original
mimeographed LC callcard laid in. +++Lecture notes of Church’s class taken by
six of his graduate students (Ficken, Landau, Ruja, Singleton, Steenrod, Sweer,
Weyl) in the fall term of 1935 at the Institute for Advanced Studies at
Princeton.
The following is an interview between William Aspray and
Albert Tucker on the publication (so-called) of this work, taken from the
influence, changing the entire face of mathematical logic. (It should be noted
to that A.M. Turing came to study with Church at Princeton and particualry in
this course in the fall of 1935.)