Logic in computer science
Huth, M and Ryan, M
Logic in computer science - 2nd - Cambridge 2005 - 427
0-521-67089-6
111989
Computer
004 / HUT
Logic in computer science - 2nd - Cambridge 2005 - 427
0-521-67089-6
111989
Computer
004 / HUT