Logic in Computers Science :
Michael Huth
Logic in Computers Science : Modelling And Reasoning About Systems - 2nd - Cambridge Cambridge University Press 2004 - 427
9780521670890
005.1015113 / SRI/O
Logic in Computers Science : Modelling And Reasoning About Systems - 2nd - Cambridge Cambridge University Press 2004 - 427
9780521670890
005.1015113 / SRI/O