(No place), The Association for Symbolic Logic, 1942, 1943 &1948. Lev8vo. Bound in two uniform red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 7, 8 [Bound together] & 13. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. Minor scratches to extremities of volume 13. A fine set. Pp. 28-33" Pp. 80-94. [Entire volumes: IV, 164 pp." IV, 236 pp.). First printing of the two important - but often overlooked - papers by Turing which provide "information about Turing's thoughts on the logical foundations of mathematics which is not to be found elsewhere in his writings". (Copeland, The Essential Turing, P. 206).

Seller Inventory # 48381

Contact seller

Report this item

Bibliographic Details

Title

A Formal Theorem in Church's Theory of Types (+) Practical forms of type theory

Binding

Soft cover

Edition

1st Edition

Seller catalogs

Mathematics

Store Description

Herman H. J. Lynge & S�n A/S was founded in 1821 and is the oldest antiquarian bookseller in Scandinavia. We specialize mainly in important and rare books in all fields of Science and the Humanities.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Herman H. J. Lynge & S�n A/S
Silkegade 11, Copenhagen, 1113, Denmark

Sale & Shipping Terms

Terms of Sale

For sales inside The European Community: VAT (Value Added Tax) of 25% must be
added, unless we are provided with a registered VAT-no.
Books exported to countries outside The European Community are free of VAT.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates from Denmark to U.S.A.

Shipping rates from Denmark to U.S.A.
Order quantity	7 to 14 business days	2 to 4 business days
First item	US$ 48.50	US$ 70.45

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment Methods

PayPal Bank/Wire Transfer

Add to Wants