Reeves,steve/clarke,michael

Logic for computer science - Addison-wesley

0201416433


Logic, symbolic and mathematical

004.01511 REE