Բեռնվում է…
Справочная книга по математической логике : В 4-х частях : Пер. с англ. /
Պահպանված է:
Այլ հեղինակներ: | |
---|---|
Ձևաչափ: | Գիրք |
Հրապարակվել է: |
Москва :
Наука. Гл. ред. физ.-мат. лит.,
1982-.
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Բովանդակություն:
- Ч. 1 (1982, 392 с., списки лит в конце гл.) : Теория моделей / Пер. с англ. С.С. Гончарова и др. ; Под ред. Ю.Л. Ершова и др. Ч. 2 (1982, 376 с., списки лит. в конце гл.) : Теория множеств / Пер. с англ. В.Г. Кановея ; Под ред. В.Н. Гришина Ч. 3 (1982, 360 с., списки лит. в конце гл.) : Теория рекурсии / Пер. с англ. С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова Ч. 4 (1983, 392 с., списки лит. в конце гл.) : Теория доказательств и конструктивная математика / Пер. с англ. Г.В. Давыдова и Г.Е. Минца