Logic for computer scientists
Schoning, Uwe
Logic for computer scientists Uwe Schoning. -- - Boston Birkhauser 1989 - 166 p. ill. - Progress in computer science and applied logic. v. 8. .
Index
eng
0817634533 (alk. paper)
89017864
Logic, Symbolic and mathematical
Logic programming
QA9
511.3
Logic for computer scientists Uwe Schoning. -- - Boston Birkhauser 1989 - 166 p. ill. - Progress in computer science and applied logic. v. 8. .
Index
eng
0817634533 (alk. paper)
89017864
Logic, Symbolic and mathematical
Logic programming
QA9
511.3