Temporal Logic: Volume 1 Gabbay, Dov M. Hodkinson, Ian Reynolds, Mark 9780198537694 Oxford Logic Guides Innbundet 21.07.1994 Engelsk Produseres på bestilling