Начало см. здесь.

Тарский А.
Логика и методология дедуктивных наук.

М.: Гос. изд-во иностранной литературы, 1948, cc. 20 — .

Комментарии С. А. Яновской по этому поводу см. здесь.

Эти указания С. А. Яновской см. здесь.