TY  - BOOK
AU  - Mainzer Klaus & Centrone Stefania
TI  - Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
SN  - 9789811268540
PB  - World Scientific
KW  - Mathematics
UR  - https://www.worldscientific.com/worldscibooks/10.1142/13205#t=toc
ER  -