by James H. Andrews
Hardcover
ISBN: 978-0-521-43219-1
ISBN-10: 0-521-43219-7
Cambridge University Press · 1992
|
|
by James H. AndrewsHardcover
ISBN: 978-0-521-43219-1 ISBN-10: 0-521-43219-7 Cambridge University Press · 1992 |
| See also: | ||
| 2008 | Paperback | Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science) |