Handbook of Logic in Computer Science Volume 5
Subtitle: Logic and Algebraic Methods
Publisher: Oxford University Press
Published: 2000
Language: eng
ISBN-13: 9781280375279