Logic for computer science
Reeves, Steve
Logic for computer science - - Reading : Addison-Wesley, 1990 1990 - xi,260 p. 23.5 cm - .
0-201-41643-31
Logic, Symbolic and mathematical
681.3:517.1 Ree
Logic for computer science - - Reading : Addison-Wesley, 1990 1990 - xi,260 p. 23.5 cm - .
0-201-41643-31
Logic, Symbolic and mathematical
681.3:517.1 Ree