I cookie ci aiutano a fornire i nostri servizi. Utilizzando tali servizi, accetti l'utilizzo dei cookie da parte nostra.
Miura, Satoshi and
Ohama, Shigeo. 1977.
“A Note on Thomason’s Representation of S5.” Notre Dame Journal of Formal Logic 18: 177–180.