Acknowledgements
Published online by Cambridge University Press: 23 November 2009
Summary

- Type
- Chapter
- Information
- Logic ProgrammingOperational Semantics and Proof Theory, pp. xi - xiiPublisher: Cambridge University PressPrint publication year: 1992