2 Results
00IIE
by 
Huth, Michael, 1962-
Format: 
Books
Publication Date 
2004
Excerpt: 
Logic in computer science : modelling and reasoning about systems / Huth, Michael, 1962-
Available: Copies: