включить всесоюзную конференцию "Методы мат. логики..." в проект плана всесоюзных научных и научно-технических конференций, симпозиумов и семинаров на 1980 г.