HUTH, M.
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - NEW YORK Cambridge University Press 2005 - xiv+427p.,24X17Cms.
0521670896
621.38195 H973
LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS - 2 - NEW YORK Cambridge University Press 2005 - xiv+427p.,24X17Cms.
0521670896
621.38195 H973