LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING

HUTH, MICHAEL A

LOGIC IN COMPUTER SCIENCE: MODELING AND REASONING - 2 ed. - NEW DELHI CAMBRIDGE UNIVERSITY PRESS 2012 - IX, 427

978052167089

005.1015113 HUT/RYA