Logic for computer scientists
Schoning , Uwe
Logic for computer scientists - Boston: Birkhauser, 1989 - 166p.: ill,; 23cm.
0-8176-3453-0
Logic
symbolic and mathematical
Logic programming
MATH QA9.S363
Logic for computer scientists - Boston: Birkhauser, 1989 - 166p.: ill,; 23cm.
0-8176-3453-0
Logic
symbolic and mathematical
Logic programming
MATH QA9.S363