Поредица "Математическая логика и основная математики"
- Математическая теория логического вывода, 1967
- Конечные автоматы, 1970
- Лекции по конструктивному математическому анализу, 1973
- Элементы математической логики, 1973
- Модельная логика, 1974
- Модальная логика, 1974
- Математическая логика, 1975
- Теория нумераций, 1977
- Степени неразрешимости, 1977
- Основания интуиционистской математики/ Основи на интуиционистичната математика, 1978
- Основания математики - том 1 и 2, 1979
- Теория формальных систем, 1981
- Основания математики, 1982
- Математическая логика и автоматическое доказательство теорем/Математическа логика и автоматично доказване на теореми, 1983