Sperschneider, V Antoniou, G Logic a foundation for computer science - NEWYORK ADDISON WESLEY 1991 - 495P ISBN: 0-201-56514-5 Subjects--Topical Terms: COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE LOGIC,SYMBOLIC AND MATHEMATICAL Dewey Class. No.: 004 SPE