Ëåâ Òðîöêèé.

1158.

HeijenoortJ. Op. cit. P. 6–7.