Title: Logic in Computer Science
Description: Forty papers contributed to the IEEE symposium held in Edinburgh, July 1988. No index. Annotation(c) 2003 Book News, Inc., Portland, OR (booknews.com).
Subjects: Computer science, Congresses, Mathematics, Symbolic and mathematical Logic, Logique symbolique et mathématique, Congrès