Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1904987702
• ISBN13: 9781904987703
• Release Date: December 2008
• Publisher: College Publications
• Length: 480 Pages
• Weight: 1.47 lbs.
• Dimensions: 1.0" x 6.1" x 9.2"