Logic : a foundation for computer science /
Sperchneider, Volker
Logic : a foundation for computer science / V. Sperscheider & G. Antoniou - Wokingham, Eng. : Addison-Wesley, 1991 - 495 p. : ill. ; 24 cm. - International computer science series .
references p. 485-490
0201565145 RM145.93
91-2885
Computer science
Logic, Symbolic and mathematical
Logic : a foundation for computer science / V. Sperscheider & G. Antoniou - Wokingham, Eng. : Addison-Wesley, 1991 - 495 p. : ill. ; 24 cm. - International computer science series .
references p. 485-490
0201565145 RM145.93
91-2885
Computer science
Logic, Symbolic and mathematical
