Modal Logic with Descriptions

Téere

Téere yu mel noonu