Logic : a foundation for computer science /
Sperschneider, V.
Logic : a foundation for computer science / V. Sperschneider & G. Antoniou. - Wokingham, England : Addison-Wesley, c1991. - xii, 495 p. : ill. - International computer science series .
0201565145
Computer science.
Artificial intelligence.
Logic, Symbolic and mathematical.
Logic : a foundation for computer science / V. Sperschneider & G. Antoniou. - Wokingham, England : Addison-Wesley, c1991. - xii, 495 p. : ill. - International computer science series .
0201565145
Computer science.
Artificial intelligence.
Logic, Symbolic and mathematical.