Аннотация: Настоящий сборник является первым в намеченной серии “Теоретические применения методов математической логики” и составлен из сообщений, доложенных на ленинградских семинарах по математической логике и общей теории систем (в основном в 1973–74 гг.). Серия посвящена математической логике и ее применениям к изучению математических и смежных естественнонаучных проблем (настоящий сборник, в частности, содержит приложения к дискретной математике и математической биологии).