LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
HUTH AND RYAN
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - CAMBRIDGE UNIVERSITY PRESS 2004 - 427 25 Paper
0-521-67089-6
005.115 HUT
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - CAMBRIDGE UNIVERSITY PRESS 2004 - 427 25 Paper
0-521-67089-6
005.115 HUT