Для цитирования:

Хлебалин А.В. С. КРИПКЕ: СЕМАНТИКА МОДЕЛЬНОЙ ЛОГИКИ И ТЕОРИЯ РЕФЕРЕНЦИИ. Вестник Сибирского государственного университета путей сообщения. 2011;(25):40-50.