Logic from Computer Science
Subtitle: Proceedings of a Workshop Held Nov 13-17, 1989 (Mathematical Sciences Research Institute Publications)
Publisher: Springer
Published: January 1992
Language: eng
Number of pages: 608
ISBN-13: 9780387976679
First sentence: We distinguish two views of logic, the declarative and the imperative.