LIBRARY Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing 2023 · ENGLISH · PDF View details →