2. Л. Д. Беклемишев. Элементарная геометрия с точки зрения логики;.
3. Л. Д. Беклемишев. Доказуемо рекурсивные функции;.
4. выразимость произвольной функции алгебры логики с помощью операций.
5. лев Беклемишев. Компьютерные доказательства;.
6. Беклемишев лев. Аксиоматический метод;.
7. Кислов а. Г. к вопросу об онтологической автономии;.
8. Лурье в. М. модальная логика времени в естеств. Языке.
9. Logic Lecture: Symbolic Logic;.