Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview of one of the field's major topics. Current volume topics include mathematical and computational structures; forthcoming volumes will cover semantic structures,...

• Format: Hardcover
• Language: English
• ISBN: 0198537611
• ISBN13: 9780198537618
• Release Date: March 1993
• Publisher: Clarendon Press
• Length: 582 Pages
• Weight: 2.36 lbs.
• Dimensions: 1.5" x 6.4" x 9.5"