CHURCH, ALONZO (+) W. V. QUINE.

Some theorems on definability and decidability.

(No place), The Association for Symbolic Logic, 1952. Lev8vo. Bound in red half cloth with gilt lettering to spine. In "Journal of Symbolic Logic", Volume 17. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. 179-87. [Entire volume: IV, 300 pp.).

First printing of this important paper on a theorem about numerical relations and it is established to have certain consequences concerning decidability in quantification theory.

Journal of Symbolic Logic, together with Bulletin of Symbolic Logic and Review of Symbolic Logic, is the official journal of Association for Symbolic Logic. The Journal of Symbolic Logic was founded in 1936 and it has become the leading research journal in the field. It is issued quarterly.

Order-nr.: 48596