https://filesoo.com/product/4619/лекции-по-математической-логике