'A Formal Theorem in Church's Theory of Types'. Pp. 28-33 in: Journal of Symbolic Logic, Vol, 7, No. 1, March, 1942. With: TURING, 'The Use of Dots as Brackets in Church's System'. Pp. 146-156, Vol. 7, No. 4, December, 1942.

CREDIT CARD ORDERS MAY ONLY BE ACCEPTED ON BEHALF OF ABE. Personal/bank/traveler's checks (made payable to Ted Kottler), money orders, international money orders are fine. All books are First Editions, in original cloth bindings, and in Very Good or better condition, unless otherwise noted. Returns: with prior notice and within 10 days. I am always interested in purchasing First Editions of scholarly, hardcover books in the history of science and the history of medicine, as well as First Edition...