Logical Frameworks

This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0521413001
• ISBN13: 9780521413008
• Release Date: September 1991
• Publisher: Cambridge University Press
• Length: 416 Pages
• Weight: 1.71 lbs.
• Dimensions: 1.1" x 6.0" x 9.0"