Normal view
MARC view
Ruzsa Imre(Personal Name)
Machine generated authority record.
Work cat.: (OSt)190792: Ruzsa Imre, Modal logic with descriptions, 1981