* Гильберт Д., Бернайс П._ Логические исчисления и формализация арифметики.(1979).djvu
* Матиясевич Ю.В._ Десятая проблема Гильберта.(1993).djvu
* Glushkov_V.M.__Sintez_cifrovyh_avtomatov.(1962).[djv-fax].zip

* Гильберт Д., Бернайс П. Основания математики. (1980)
* Гильберт Д., Бернайс П. Основания математики. (1983)
* Гильберт Л, Бернайс П. Основания математики. (1982)
* Глушков В.М. Синтез цифровых автоматов. (1962)
* Гудстейн Р.Л. Рекурсивный математический анализ. (1970)
* Драгалин А.Г. Математический интуиционизм. (1980)
* Ершов Ю.Л. Проблемы разрешимости и конструктивные модели. (1980)
* Ершов Ю.Л. Теория нумераций. (1978)
* Клини С.К., Весли Р. Основания интуиционистской математики с точки зрения теории рекурсивных функций. (1978)
* Кушнер Б.А. Лекция по конструктивному математическому анализу. (1974)
* Марков А.А., Нагорный Н.М. Теория алгоритмов. (1985)
* Математическая теория логического вывода. (1967)
* Матиясевич Ю.В. Десятая проблема Гильберта. (1993)
* Новиков П.С. Конструктивная математическая логика с точки зрения классической. (1977)
* Новиков П.С. Элементы математической логики. (1974)
* Расева Е., Сикорский Р. Математика математики. (1972)
* Робинсон А. Введение в теорию моделей и математику алгебры. (1967)
* Смальян Р.М. Теория формальных систем. (1982)
* Трахтенброт Б.А., Барздинь Я.М. Конечные автоматы. (1970)
* Фейс Р. Модальная логика. (1974)
* Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. (1983)
* Шенфилд Дж. Математическая логика. (1976)
* Шенфилд Дж. Степени неразрешимости. (1978)
* Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. (1966)