Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing - Mainzer Klaus & Centrone Stefania (World Scientific, 2023)
Keywords: Mathematics