No CrossRef data available.
Article contents
Logic programming: operational semantics and proof theory by J. H. Andrews, Cambridge University Press, 1992, pp 104, £25.00, ISBN 0-521-43219-7.
Review products
Logic programming: operational semantics and proof theory by J. H. Andrews, Cambridge University Press, 1992, pp 104, £25.00, ISBN 0-521-43219-7.
Published online by Cambridge University Press: 07 July 2009
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Book Reviews
- Information
- Copyright
- Copyright © Cambridge University Press 1995