LOGIC IN COMPUTER SCIENCE : MODELLING AND RESSONING ABOUT SYSTEMS
MICHAEL HUTH; MARK RYAN
LOGIC IN COMPUTER SCIENCE : MODELLING AND RESSONING ABOUT SYSTEMS - 2 - CAMBRIDGE UNIVERSITY PRESS 2005 - 427
0521670896
LOGIC
004 / MIC
LOGIC IN COMPUTER SCIENCE : MODELLING AND RESSONING ABOUT SYSTEMS - 2 - CAMBRIDGE UNIVERSITY PRESS 2005 - 427
0521670896
LOGIC
004 / MIC