Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Miura, Satoshi and
Ohama, Shigeo. 1977.
“A Note on Thomason’s Representation of S5.” Notre Dame Journal of Formal Logic 18: 177–180.