Математическая теория логического вывода :
Математическая теория логического вывода : Сборник переводов /
Под ред. А. В. Идельсона и Г. Е. Минца.
- Наука, 1967.
- 351 с.
- Математическая логика и основания математики .
Библиогр. в конце статей.
მათემატიკური ლოგიკა
Библиогр. в конце статей.
მათემატიკური ლოგიკა