Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing

Stefania Centrone, Klaus Mainzer, 9789811268533, 9789811268540, 9789811268557