Huth, M and Ryan, M

Logic in computer science - 2nd - Cambridge 2005 - 427

0-521-67089-6

111989

Computer

004 / HUT