(No place), The Association for Symbolic Logic, 1944 & 1945. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 9 & 10 bound together. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. [Kleene:] Pp. 109-124. [Entire volume: IV, 107, (1), IV, 160 pp.]. First printing of Kleene's important paper constituting one of the very first formal treatments of logic for computability in which he proved that intuitionistic first-order number theory also has the related existence property through an interpretation of intuitionistic number theory in terms of Turing machine computations. N� de ref. del art�culo 48382

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: On the interpretation of intuitionistic ...

Encuadernaci�n: Encuadernaci�n de tapa blanda

Edici�n: 1� Edici�n

Descripci�n de la librer�a

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.

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

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

Condiciones de venta:

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.

Condiciones de env�o:

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.

M�todos de pago
aceptados por la librer�a

PayPal Transferencia Bancaria

A�adir una petici�n