Словарь по логике

Крипке

Крипке, Kripke: .