Ëåâ Òðîöêèé.

1200.

HeijenoortJ. Op. cit. P. 24.