Beschreibung:

Collection of approximately 28 offprints and lecture notes, including: 1. A Note on the Entscheidungsproblem. Offprint from: The Journal of Symbolic Logic, vol 1, no 1, March 1936. 2. Correction to A Note on the Entscheidungsproblem. Offprint from: The Journal of Symbolic Logic, vol 1, no 3, September 1936. 3. On Irredundant Sets of Postulates. Offprint from: Transactions of the American Mathematical Society, vol 27, no 3, July 1925. 4. On Irredundant Sets of Postulates. Offprint from: Bulletin of the American Mathematical Society, November-December 1926. 5. Alternatives to Zermelo's Assumption. Offprint from: Transactions of the American Mathematical Society, vol 29, no 1, January 1927. 6. Principia: Volumes II and III. Offprint from: Bulletin of the American Mathematical Society, March-April 1928. 7. With Kleene, S.C. Formal Definites on the Theory of Ordinal Numbers. Offprint from: Fundamenta Mathematicae, vol XXVIII, 1936. 8. With Rosser, J.B. Some Properties of Conversion. Offprint from: Transactions of the American Mathematical Society, vol 39, no 3, May 1936. 9. The Constructive Second Number Class. Offprint from: Bulletin of the American Mathematical Society, April 1938. 10. On the Concept of a Random Sequence. Offprint from: Bulletin of the American Mathematical Society, February 1940. Provenance: Collection of Dr. Martin Davis, with his occasional notes.