TY - BOOK AU - Бочвар, Д. А. AU - Гришин, В. Н. ED - ВИНИТИ TI - Исследования по формализованным языкам и неклассическим логикам: Сборник статей PY - 1974/// CY - Москва : PB - Наука KW - ფუნქციების თეორია KW - კრებული KW - მათემატიკური ლოგიკა KW - მათემატიკური ლინგვისტიკა ER -