Ученые записки математических кафедр 1968 г.

70 Л и т е р а т у р 0 1. Б.В.Пильчак, Об исчислении задач. Украинский матем. куриал, 4, 174-194, 19Ь2. 2. А.Чёрч, Введение в математическую* логику. I . ИЛ. У.«в 1960. /С€ ь £ кос £ . Л /и ьШ ъ с ^ с Ост ' С<4У —/г (л/ы г • /Г б ъ л с ¿ 9 , /9 3 * . ЬГ-М* С.к.Клики,. Введение в метаматематику, Пл. !.л, 1957. ^* п.с. Новиков, элементы математической логики. 1959. *'• А.в.Кузнецов. 0 неразрешимости обюх проблем полноте. пля исчислений высказыва- Разрешения и эквивалентное.и д „ 2 ВВП. 4, стр. 47-66, Ново- Чй!:. Алгебра и логика, т. <-•> сИбирск» 1963.