A Formulation Of The Simple Theory Of Types, pp. 56-68 in Journal Of Symbolic Logic. Vol. 5 No. 2, June 1940,

CHURCH, Alonzo

About this Item

First edition, complete journal issue in original printed wrappers, of Church's theory of types. "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" (Stanford Encyclopedia of Philosophy). 8vo, pp. 45-84. Original printed wrappers (browned at edges, minor wear at ends of spine).

Seller Inventory # ABE-1595514412555

Bibliographic Details

• Title: A Formulation Of The Simple Theory Of Types, pp. 56-68 in Journal Of Symbolic Logic. Vol. 5 No. 2, June 1940,
• Binding: Soft cover
• Edition: 1st Edition
• Condition: Very Good