Справочная книга по математической логике :
Справочная книга по математической логике : В 4-х частях : Пер. с англ. /
Под ред. Дж. Барвайса.
- Москва : Наука. Гл. ред. физ.-мат. лит., 1982-.
- ч.
Пер. с англ. С.С. Гончарова и др. ; Под ред. Ю.Л. Ершова и др. Пер. с англ. В.Г. Кановея ; Под ред. В.Н. Гришина Пер. с англ. С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова Пер. с англ. Г.В. Давыдова и Г.Е. Минца Ч. 1 (1982, 392 с., списки лит в конце гл.) : Ч. 2 (1982, 376 с., списки лит. в конце гл.) : Ч. 3 (1982, 360 с., списки лит. в конце гл.) : Ч. 4 (1983, 392 с., списки лит. в конце гл.) :
2.10
Конструктивная математика
Теория доказательств--Справочники
Пер. с англ. С.С. Гончарова и др. ; Под ред. Ю.Л. Ершова и др. Пер. с англ. В.Г. Кановея ; Под ред. В.Н. Гришина Пер. с англ. С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова Пер. с англ. Г.В. Давыдова и Г.Е. Минца Ч. 1 (1982, 392 с., списки лит в конце гл.) : Ч. 2 (1982, 376 с., списки лит. в конце гл.) : Ч. 3 (1982, 360 с., списки лит. в конце гл.) : Ч. 4 (1983, 392 с., списки лит. в конце гл.) :
2.10
Конструктивная математика
Теория доказательств--Справочники