इसका टेक्स्ट मैसेज भेजे : Logic from computer science: proceedings of a workshop held November 13-17, 1989