Logic In Computer Science Modelling And Reasoning About Systems

Huth M.

Logic In Computer Science Modelling And Reasoning About Systems - Cambridge University Press 2010 - 427

005.105113 / HUT