Write to the booksellers6 books for « church alonzo »Edit
-
Topics
Mathematics (5)
Philosophy (1)
Norwood Russell Hanson. A note on the Gödel theorem (+) David Perlman. A milestone in math - professor's new concept (+) Benson Mates. Stoic Logic.
[No place], The Journal of Symbolic Logic, 1967. 8vo. In the original printed wrappers. In ""Journal of Symbolic Logic"", Vol. 28, Number 4. December, 1963. Entire issue offered. A very fine and clean copy. Pp. 295 [Entire issue: Pp. 273-346, VI. ].
First printing of three short reviews by Alonzo Church.
A formulation of the simple theory of types. - [CHURCH'S TYPE THEORY]
(No place), The Association for Symbolic Logic, 1940 & 1941. Lev8vo. Bound in red half cloth with gilt lettering to spine. In ""Journal of Symbolic Logic"", Volume 5 & 6. Barcode label pasted on to back board. Small library stamp to lower part of 6 pages. A very fine copy. Pp. 56-68. [Entire copy: IV, 188, IV, 184 pp.).
First printing of Church's seminal paper in which he introduced his Type Theory: A simpler and more general Type Theory than the one introduced by Bertrand Russell in 1908 and Whitehead & Russell in 1927.""Church's type theory is a formal logical language which includes first-order logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church's type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and certain projects involving logic and artificial intelligence."" (SEP)
A formulation of the simple theory of types.
(No place), The Association for Symbolic Logic, 1940. Large 8vo. Bound in blue half cloth with silver lettering to spine. In ""Journal of Symbolic Logic"", Volume 5. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 56-68. (Entire copy: IV, 188 pp.).
First printing of Church's seminal paper in which he introduced his Type Theory: A simpler and more general Type Theory than the one introduced by Bertrand Russell in 1908 and Whitehead & Russell in 1927.""Church's type theory is a formal logical language which includes first-order logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church's type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and certain projects involving logic and artificial intelligence."" (SEP) Order-nr.: 48379
Introduction to Mathematical Logic. Part 1 (All published). (Annals of Mathematics Studies Number 13).
Princeton, Princeton University Press, 1944. 8vo. Original stiff wrappers. IV,118,(2) pp. A fine copy.
First edition. The forerunner to Church's classic text book 'Introduction to Mathematical Logic, 1956'.
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.
On The Calculus Of Relations (In: ""The Journal Of Symbolic Logic"").
(No place), The Association for Symbolic Logic, 1941. Large 8vo. Bound in blue half cloth with silver lettering to spine. In ""Journal of Symbolic Logic"", Volume 5. Small paper label to lower part of spine and upper inner margin of front board. Stamp to title-page and last leaf, otherwise internally fine. Pp. 73-89. (Entire copy: (4), 188 pp.).
First appearance of Tarski's groundbreaking work in mathematical logic. Published in 1941, it revolutionized the study of relations by introducing a formal calculus that provided a rigorous foundation for understanding and reasoning about relations.By introducing a formal calculus, Tarski provided mathematicians with a rigorous framework for reasoning about relations, leading to advancements in diverse fields of mathematics and beyond. His contributions laid the groundwork for the exploration of abstract algebra, order theory, and model theory, and found practical applications in computer science.
