Предложения в которых упоминается "теория вычислимости"
В главе 5 представлена молодая сестра теории вычислимости — теория вычислительной сложности, которая в дальнейшем играет в книге центральную роль.
Её описание можно найти во всех серьёзных учебниках по математической логике и теории вычислимости.
Игра в имитацию, 1983