Collection of 28 offprints on mathematical logic, from Martin Davis's library

Kleene, Stephen C. (1909-94). Collection of 28 offprints, pamphlets, etc. on mathematical logic, as listed below. 1936-81. Various sizes; the largest measuring 282 x 215 mm. Original wrappers except as noted below. Occasional staining and wear, but very good; see list for condition details. From the library of Martin Davis (1928-2023), with two of the offprints bearing his signature. 1. A note on recursive functions. Offprint from Bulletin of the American Mathematical Society (1936). 544-546pp. Original printed wrappers, small stain on front wrapper. Davis's ownership signature. 2. Review of Carnap's The Logical Syntax of Language. Offprint from The Journal of Symbolic Logic 4 (1939). 82-87pp. Original printed wrappers. Offprint of R. Carnap's "Remarks on 'Logical Syntax of Language'" (Introduction to Semantics, Harvard U. P., 1942) laid in. 3. (with H. P. Evans) A postulational basis for probability. Offprint from American Mathematical Monthly 46 (1939). 141148pp. Original printed wrappers. 4. On the forms of the predicates in the theory of constructive ordinals. Offprint from American Journal of Mathematics 66 (1944). 41-58pp. Original printed wrappers, stained, wrappers splitting at spine. Davis's ownership signature. 5. On the intuitionist logic. Offprint from Library of the Xth International Congress of Philosophy (Amsterdam, August 1118, 1948), Proceedings of the Congress (1949). 185-187pp. Original printed wrappers. 6. Recursive functions and intuitionist mathematics. Offprint from Proceedings of the International Congress of Mathematicians (1950). 679-685pp. Original printed wrappers. 7. A symmetric form of Gödel's theorem. Offprint from Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings 53 (1950). 244-246pp. Bifolium; without wrappers as issued. 8. Two papers on the predicate calculus. Memoirs of the American Mathematical Society, no. 10 (1952). 68pp. Original printed wrappers, ink stains on front wrapper. 9. Hierarchies of number-theoretic predicates. Offprint from Bulletin of the American Mathematical Society 61 (1955). 193-213pp. Original printed wrappers. 10. Arithmetic predicates and function quantifiers. Offprint from Transactions of the American Mathematical Society 79 (1955). 312-340pp. Original printed wrappers. 11. A note on computable functionals. Offprint from Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A (1956). 275-280pp. Without wrappers as issued. 12. (with J. W. Addison) A note on function quantification. Offprint from Proceedings of the American Mathematical Society 8 (1957). 1002-1006pp. Original printed wrappers. 13. Extension of an effectively generated class of functions by enumeration. Offprint from Colloquium mathematicum 6 (1958). 67-78pp. Without wrappers as issued. 14. Countable functionals. Offprint from Constructivity in Mathematics: Proceedings of the Colloquium Held at Amsterdam, 1957 (1959). 81-100pp. Without wrappers as issued. 15. Recursive functionals and quantifiers of finite types I. Offprint from Transactions of the American Mathematical Society 91 (1959). 52pp. Original printed wrappers. 16. Quantification of number-theoretic functions. Offprint from Composito mathematica 14 (1959). 23-40pp. Original printed wrappers. 17. Herbrand-Gödel-style recursive functionals of finite types. Offprint from Recursive Function Theory: Proceedings of Symposia in Pure Mathematics 5 (1962). 4975pp. Original printed wrappers. 18. Lambda-definable functionals of finite types. Offprint from Fundamenta mathematica 50 (1962). 281-303pp. Without wrappers as issued. 19. Disjunction and existence under implication in elementary intuitionistic formalisms. Offprint from Journal of Symbolic Logic 27 (1963). 11-18pp. 20. An addendum. Offprint from Journal of Symbolic Logic 28 (1963). 154-156pp. Original printed wrappers. 21. Recursive functionals and quantifiers of finite types II. Offprint from Transactions of the American Mathematical Society 108 (1963). 106-142pp.…