Logic in Computer Science : Modelling and Reasoning about Systems Ryan, Mark Huth, Michael 9780521543101 Heftet 26.08.2004 Engelsk Produseres på bestilling
