From Landmarks of Science Books, Richmond, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since March 17, 2016
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,...
Binding: Soft cover
Condition: Very Good
Edition: 1st Edition
Store Description
All items may be returned for a full refund for any reason within 14 days of receipt.
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
Payment Methods
accepted by seller
