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

by Thomas S. E. Maibaum Hardcover details (United Kingdom). ISBN: 978-0-19-853761-8 ISBN-10: 0-19-853761-1 OUP Oxford · 1993