Reeves,steve/clarke,michael
Logic for computer science - Addison-wesley
0201416433
Logic, symbolic and mathematical
004.01511 REE
Logic for computer science - Addison-wesley
0201416433
Logic, symbolic and mathematical
004.01511 REE