Справочная книга по математической логике : В 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 

Նմանատիպ նյութեր