Logic in computer science Modelling and reasoning about systems
Huth, Michael
Logic in computer science Modelling and reasoning about systems - 2nd Ed - Delhi Cambridge University press 2004 - 427p
9780521670890
005.101 MIC
Logic in computer science Modelling and reasoning about systems - 2nd Ed - Delhi Cambridge University press 2004 - 427p
9780521670890
005.101 MIC