000 00523nam a22001817a 4500
003 CEME
005 20210628205650.0
008 210312b xxu||||| |||| 00| 0 eng d
020 _a0-201-56514-5
040 _c.
082 _a004 SPE
100 _aSperschneider, V Antoniou, G
_976531
245 _aLogic a foundation for computer science
260 _aNEWYORK
_bADDISON WESLEY
_c1991
300 _a495P
650 _aCOMPUTER SCIENCE ARTIFICIAL INTELLIGENCE LOGIC,SYMBOLIC AND MATHEMATICAL
_976532
942 _cBK
_2ddc
999 _c581913
_d581913