Исследования по формализованным языкам и неклассическим логикам : Сборник статей / ВИНИТИ ; Отв. ред. Д. А. Бочвар, В. Н. Гришин. - Москва : Наука, 1974. - 275 с. : ил.

ფუნქციების თეორია კრებული მათემატიკური ლოგიკა მათემატიკური ლინგვისტიკა

517.11