Расширение выразительных возможностей языка современной логики

Санкт-Петербург

162 стр.