PakCat catalogue record Logic a foundation for computer science By Sperschneider, V Antoniou, G Bibliographic details ISBN0201565145 PublisherADDISON WESLEY Publication placeNEWYORK Publication year1991 LanguageEnglish Material typeBook Physical description495P SubjectsCOMPUTER SCIENCE ARTIFICIAL INTELLIGENCE LOGIC, SYMBOLIC AND MATHEMATICAL