On the interpretation of intuitionistic number theory. - [FIRST FORMAL TREATMENTS OF LOGIC FOR COMPUTABILITY]

"KLEENE, S. C.

Riguardo questo articolo

(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. Codice articolo 48382

Dati bibliografici

Titolo: On the interpretation of intuitionistic ...

Legatura: Brossura

Edizione: prima edizione