Overview

Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. For the reprints we have chosen a paper by Alonzo Church (introducing his simple theory of types), a paper by Leon Henkin (proving completeness of Church's type theory relative to Henkin's semantics) and some of the most important papers by Peter Andrews. The new articles were contributed by Peter Andrews and his students and collaborators as well as a number of researchers his work has influenced. The volume intends to show the historical development of this important area of formal reasoning up to its current state of art and appears in honor of Peter Andrews on his 70th birthday.
ISBN-13

9781904987703

ISBN-10

1904987702

Weight

2.31 Pounds

Dimensions

6.14 x 0.97 x 9.21 In

List Price

$32.50

Format

Paperback

Pages

460 pages

Publisher

College Publications

Published On

2008-12-01


View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
GreatBookPrices-
★★★★☆

Columbia, MD, USA

100% Money Back Guarantee. Brand New, Perfect Condition. We offer expedited shipping to all US locat...
$41.00

 Free delivery by: 05 Apr 2026

Brand New
Seller details
Alibris
★★★★★

Sparks, NV, USA

Print on demand Trade paperback (US). Glued binding. 480 p. Studies in Logic: Mathematical Logic an...
$41.01

 Free delivery by: 05 Apr 2026

Brand New
Seller details
Paperbackshop
★★★★★

Bensenville, IL, USA

New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot of...
$41.83

 Free delivery by: 05 Apr 2026

Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$75.26

 Free delivery by: 05 Apr 2026


Bookstores.com relies on cookies to improve your experience.