Справочная книга по математической логике : В 4-х частях : Пер. с англ. / Под ред. Дж. Барвайса.
Material type:
TextPublication details: Москва : Наука. Гл. ред. физ.-мат. лит., 1982-Description: чSubject(s): Конструктивная математика | Теория доказательств -- Справочники| Item type | Current library | Collection | Call number | Vol info | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/504470 (Browse shelf(Opens below)) | Available | 30 Days Loan | FL0225977 | ||
|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/492860 (Browse shelf(Opens below)) | Ч. 1 | Available | 30 Days Loan | FL0244616 | |
|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/496983 (Browse shelf(Opens below)) | Ч. 2 | Available | 30 Days Loan | FL0238347 | |
|
Գրքեր/Books
|
Fundamental Scientific Library | General | PII/500698 (Browse shelf(Opens below)) | Ч. 3 | Available | 30 Days Loan | FL0233620 |
Ч. 1 (1982, 392 с., списки лит в конце гл.) : Теория моделей / Пер. с англ. С.С. Гончарова и др. ; Под ред. Ю.Л. Ершова и др. Ч. 2 (1982, 376 с., списки лит. в конце гл.) : Теория множеств / Пер. с англ. В.Г. Кановея ; Под ред. В.Н. Гришина Ч. 3 (1982, 360 с., списки лит. в конце гл.) : Теория рекурсии / Пер. с англ. С.Г. Дворникова, И.А. Лаврова ; Под ред. Ю.Л. Ершова Ч. 4 (1983, 392 с., списки лит. в конце гл.) : Теория доказательств и конструктивная математика / Пер. с англ. Г.В. Давыдова и Г.Е. Минца
Оригинал на англ. ; Handbook of Mathematical Logic / J. Barwise (ED.) - Amsterdam : North-Holland Publishing Company : 1977
All site content, except where otherwise noted, is licensed under a
There are no comments on this title.