" "
" "

Kripke S

:  Kripke S
:  1
:  6091
:  0
:  0
:
Kripke S. A completeness theorem in modal logic // Journal of Symbolic Logic. 1959. 24. P. 1 14.
(: 6091, : 0, : 0)

© 2007.