Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

By: R. P. Nederpelt

This volume contains a choice of literature on Automath. The editors aim to present a representative selection of articles and reports and of material contained in dissertations, providing an overview of the work that has been done in the Automath research field.

• Format: Hardcover
• Language: English
• ISBN: 0444898220
• ISBN13: 9780444898227
• Release Date: November 1994
• Publisher: North Holland
• Length: 1024 Pages
• Weight: 1.74 lbs.
• Dimensions: 9.3" x 2.3" x 6.3"