Logic for computer science /
Reeves, Steve
Logic for computer science / Steve Reeves, Michael Clarke - Reading, Mass. : Addison-Wesley, 1990 - 260 p. : ill. ; 23 cm. - International computer science series .
p. 255-256.
0201416433
Logic, Symbolic and mathematical
Logic for computer science / Steve Reeves, Michael Clarke - Reading, Mass. : Addison-Wesley, 1990 - 260 p. : ill. ; 23 cm. - International computer science series .
p. 255-256.
0201416433
Logic, Symbolic and mathematical
