Mainzer Klaus & Centrone Stefania <br/><br/>
Temporal Logic: from Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing 

 -  World Scientific  WSPC  2023 
<br/><br/><label>ISBN: </label>9789811268540 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics