A Formal Theorem in Church's Theory of Types. Offprint from The Journal of Symbolic Logic, vol. 7, no. 1, March 1942, pp. 28-33.

TURING, Alan, & Max Newman.

Published by The Association for Symbolic Logic, 1942
Condition: Used

Sold by Peter Harrington. ABA/ ILAB., London, United Kingdom

Association Member:

Heritage Bookseller
AbeBooks Seller since July 26, 1999

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used

Price:
US$ 23,827.74
US$ 29.08 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket