Logic in computer science : modelling and reasoning about systems Huth Michael, Ryan Mark 2. ed. : Cambridge : Cambridge Univ. Press : 2004 : xiv, 427 s. : ISBN: 0-521-54310-X Mandatory Search the University Library catalogue
Logic in computer science : modelling and reasoning about systems Huth Michael, Ryan Mark 2. ed. : Cambridge : Cambridge Univ. Press : 2004 : xiv, 427 s. : ISBN: 0-521-54310-X Search the University Library catalogue