Symposium on Logic in Computer Science
Publisher: IEEE
Published: December 1986
Format: Paperback
ISBN-13: 9780818687204