Как говорит автор поста - смысл всякой вещи проясняется её употреблением - книжка Голдблатта тем и хороша, что ТК в ней разъясняется с совершенно конкретной целью - перейти к заявленным в заглавии логическим штудиям.

Ну и я ее читал имея целью понять таки причем тут она и логика, всякое лямбда-исчисление и прочие компсиянcы (правда зная все эти компоненты и потому понимая кайф от их обобщения).