Handbook of Logic in Computer Science: Volume 4: Semantic Modelling: Semantic Modelling Vol 4

by: Samson Abramsky · T. S. Maibaum · Dov M. Gabbay Hardcover details (UK). ISBN: 978-0-19-853780-9 ISBN-10: 0-19-853780-8 OUP Oxford · 1995