Ëåâ Òðîöêèé.

1180.

HeijenoortJ. Op. cit. P. 96.