Reeves .

Logic for computer science / Reeves . -
Languages: