K | |
---|---|
[Kri59] | Saul A. Kripke. A Completeness Theorem in Modal Logic. Journal of Symbolic Logic 24(1):1-14. Association for Symbolic Logic, mars 1959. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
K | |
---|---|
[Kri59] | Saul A. Kripke. A Completeness Theorem in Modal Logic. Journal of Symbolic Logic 24(1):1-14. Association for Symbolic Logic, mars 1959. |