(1) Feasible computational methods in the propositional calculus. (2) Lecture notes on mathematical logic. (3) Computability. Together 3 items

1958. Davis, Martin (1928-2023). (1) [with Hilary Putnam (1926-2016)]. Feasible computational methods in the propositional calculus. Reproduced typescript. [1], 62ff. Troy, NY: Rensselaer Polytechnic Institute, 1958. 280 x 218 mm. Original printed wrappers, comb-bound, light wear. First leaf loose, but otherwise very good. With: (2) Lecture notes on mathematical logic. Based on student notes by Allen Weingarten. Reproduced typescript. [4], 91, 6ff. New York: New York University, Courant Institute of Mathematical Sciences, 1959. 281 x 218 mm. Original printed wrappers, cloth backstrip, uneven fading. Very good. With: (3) Computability. Notes by Barry Jacobs. Reproduced typescript. v, 248pp. New York: New York University, Courant Institute of Mathematical Sciences, 1973-74. 274 x 214 mm. Original printed wrappers, a bit soiled and worn, light creasing. Very good. Together 3 items. First Editions. . (Inventory #: 51689)