Temporal Logic: From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing | DealShopping Deutschland