Write to the booksellers
"KLEENE, S. C.
On the interpretation of intuitionistic number theory. - [FIRST FORMAL TREATMENTS OF LOGIC FOR COMPUTABILITY]
(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.].
Reference : 48382
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.
Bookseller's contact details
Herman H. J. Lynge & Son
William Schneider
Silkegade 11
1113 Copenhagen
Denmark
+45 33 155 335
Payment mode
Sale conditions
All items may be returned for a full refund for any reason within 14 days of receipt.
