Return to Issue Details
Доказательство теоремы полноты исчисления динамической логики DL
Download
Download PDF