Handbook of Logic in Computer Science: Volume 3: Semantic Structures: Semantic Structures Vol 3

by: Abramsky · Gabbay · Maibaum Hardcover details (UK). ISBN: 978-0-19-853762-5 ISBN-10: 0-19-853762-X OUP Oxford · 1995