LOGIC IN COMPUTER SCIENCE - MICHEAL HUTH (NULL CAMBRIDGE UNIVERSITY PRESS, 2007)
Keywords: NULL