No CrossRef data available.
Article contents
Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp.
Published online by Cambridge University Press: 12 March 2014
Abstract
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1999