Բեռնվում է…
Справочная книга по математической логике : В 4-х частях : Пер. с англ. /
Պահպանված է:
Այլ հեղինակներ: | |
---|---|
Ձևաչափ: | Գիրք |
Հրապարակվել է: |
Москва :
Наука. Гл. ред. физ.-мат. лит.,
1982-.
|
Խորագրեր: | |
Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
LEADER | 01890-am-a2200253-a-4500 | ||
---|---|---|---|
001 | 000188771 | ||
003 | AM-YeHGA | ||
005 | 20210831114851.0 | ||
008 | 980630s1982 xxu 000 0 rus u | ||
020 | |c 2.10 | ||
040 | |a AM-YEHGA |c AM-YeHGA | ||
245 | 0 | 0 | |a Справочная книга по математической логике : |b В 4-х частях : Пер. с англ. / |c Под ред. Дж. Барвайса. |
260 | |a Москва : |b Наука. Гл. ред. физ.-мат. лит., |c 1982-. | ||
300 | |a ч. | ||
505 | 0 | 0 | |g Ч. 1 (1982, 392 с., списки лит в конце гл.) : |t Теория моделей / |r Пер. с англ. С.С. Гончарова и др. ; Под ред. Ю.Л. Ершова и др. |g Ч. 2 (1982, 376 с., списки лит. в конце гл.) : |t Теория множеств / |r Пер. с англ. В.Г. Кановея ; Под ред. В.Н. Гришина |g Ч. 3 (1982, 360 с., списки лит. в конце гл.) : |t Теория рекурсии / |r Пер. с англ. С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова |g Ч. 4 (1983, 392 с., списки лит. в конце гл.) : |t Теория доказательств и конструктивная математика / |r Пер. с англ. Г.В. Давыдова и Г.Е. Минца |
534 | |p Оригинал на англ. ; |t Handbook of Mathematical Logic / |a J. Barwise (ED.) - |c Amsterdam : North-Holland Publishing Company : 1977 | ||
650 | 1 | 4 | |a Конструктивная математика |
650 | 1 | 4 | |a Теория доказательств |v Справочники |
700 | 1 | |a Барвайс, Дж. |e ред. |4 edt | |
999 | |c 66559 | ||
952 | |h Ч. 1 |o PII/492860 |p FL0244616 | ||
952 | |h Ч. 2 |o PII/496983 |p FL0238347 | ||
952 | |h Ч. 3 |o PII/500698 |p FL0233620 | ||
952 | |o PII/504470 |p FL0225977 |