Задачник к Клини

[Sinoid]

Здравствуйте! Скажите, пожалуйста, а вот существует ли задачник по логике, чтобы подшлифовать изучение метаматематики по Клини? Там про свободу $t$ для $x$ в $A(x)$ (шрифты не те использую, но не суть), а то читаю-читаю, чувствую, что еще плаваю, но понимание приходит, еще бы в задачках покопаться для практики...

-- 28.12.2016, 23:00 --

Я, конечно, понимаю, что к каждой книге задачник не напишешь, но вдруг.