Logical Frameworks for Truth and Abstraction: An Axiomatic Study Volume 135

By Andrea Cantini

This English translation of the author's original work has been thoroughly revised, expanded and updated. The book covers logical systems known as type-free or self-referential . These traditionally... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0444823069
• ISBN13: 9780444823069
• Release Date: March 1996
• Publisher: North-Holland
• Length: 460 Pages
• Weight: 1.85 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"